Active Bibliography

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
734 Notions of Computation and Monads – Eugenio Moggi - 1991
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
263 Relations in Concurrency – Glynn Winskel
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985