Evolving algebras 1993: Lipari guide
作者： Yuri Gurevich
DOI:
关键词:
摘要: 2 Static Algebras and Updates 4 2.1 Algebras: Motivation . 2.2 Vocabularies 5 2.3 Definition of 2.4 Terms 2.5 Locations 6 2.6 Update Sets Families 2.7 Conservative Determinism vs. Local Nondeterminism 7
参考文章(9)
Yuri Gurevich, Evolving Algebras: an Attempt to Discover Semantics. Current Trends in Theoretical Computer Science. pp. 266- 292 ,(1993)
Paola Glavan, Dean Rosenzweig, Communicating Evolving Algebras computer science logic. pp. 182- 215 ,(1992) , 10.1007/3-540-56992-8_13
Egon Börger, Dean Rosenzweig, The WAM - Definition and Compiler Correctness. formal methods. pp. 20- 90 ,(1995)
Egon Börger, Logic Programming: The Evolving Algebra Approach. ifip congress. pp. 391- 395 ,(1994)
Yuri Gurevich, James K. Huggins, The Semantics of the C Programming Language computer science logic. ,vol. 702, pp. 274- 308 ,(1992) , 10.1007/3-540-56992-8_17
Leslie Lamport, On interprocess communication: Part I: Basic formalism Distributed Computing. ,vol. 1, pp. 77- 85 ,(1986) , 10.1007/BF01786227
Shmuel Katz, Doron Peled, Defining conditional independence using collapses Theoretical Computer Science. ,vol. 101, pp. 337- 359 ,(1992) , 10.1016/0304-3975(92)90054-J
Yuri Gurevich, Andreas Blass, Evolving Algebras and Linear Time Hierarchy. ifip congress. pp. 383- 390 ,(1994)
Yuri Gurevich, Logic and the Challenge of Computer Science Computer Science Press. pp. 1- 57 ,(1985)