A Semantic Theory for Value-Passing Processes Late Approach -- Part I: A Denotational Model and Its Complete Axiomatization (1995)

by Anna Ingólfsdóttir
Citations:11 - 4 self

Documents Related by Co-Citation

123 A domain equation for bisimulation – S Abramsky - 1991
394 Algebraic Theory of Processes – M Hennessy - 1988
41 Termination, deadlock, and divergence – L. Aceto, M. Hennessy
19 A theory of communicating processes with value-passing – M Hennessy, A Ingólfsdóttir - 1990
263 Relations in Concurrency – Glynn Winskel
3219 Communication and Concurrency – R Milner - 1990
10 Experimenting with process equivalence – B Bloom, A R Meyer - 1992
22 Readies and failures in the algebra of communicating processes – J A Bergstra, J W Klop, E-R Olderog - 1988
120 Fundamental Algorithms, volume 1 of The Art of Computer Programming – Donald E Knuth - 1973
409 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
290 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
97 On closed categories of functors – B Day - 1970
55 Names and Higher-Order Functions – I D B Stark - 1994
80 π-Calculus, Internal Mobility, and Agent-Passing Calculi – Davide Sangiorgi - 1995
21 A term model for CCS – M. C. B. Hennessy, G. D. Plotkin - 1980
1330 A Calculus of Communicating Systems – R Milner - 1980
5 The Constructive Lift Monad – Anders Kock, Anders Kock - 1995
5 Design Architectures through Category Constraints – Schwartzbach - 1995