Issue 12

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 12
Managing Editor's Column	H. Maurer	1282
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property	R. Banach	1283
Formal Analysis of the Kerberos Authentication System	G. Bella, E. Riccobene	1337
Abstract State Machine Semantics of SDL	U. Glaesser, R. Karges	1382
An Asynchronous Calculus Based on the Absence of Actions	P. Krishnan	1415