Action Structures (1992)

by Robin Milner
Citations:35 - 2 self

Active Bibliography

1 Action Structures for the pi-Calculus – Robin Milner - 1993
375 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
153 Elements of Interaction – Robin Milner - 1993
766 Notions of Computation and Monads – Eugenio Moggi - 1991
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
648 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998