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

395 Algebraic Theory of Processes – M Hennessy - 1988
120 A domain equation for bisimulation – S Abramsky - 1991
3242 Communication and Concurrency – R Milner - 1989
1351 A calculus of communicating systems – R Milner - 1980
662 Concurrency and automata on infinite sequences – D Park - 1981
536 A lattice-theoretical fixpoint theorem and its applications – Alfred Tarski - 1955
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
511 Differential Cryptanalysis of DES-like Cryptosystems – Eli Biham, Adi Shamir - 1991
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976