Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 3

Content of Issue 12
DOI: 10.3217/jucs-003-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