In this issue

Papers published: 5

Total pages: 147

Unique views: 4008

Total views: 5117

open access

Go to issue

« Previous
Issue 3(12)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 3(12)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Managing Editor's Column
Editorial
Managing Editor's Column
Hermann Maurer
10.3217/jucs-003-12
 28-12-1997
 Unique: 735 | Total: 929
 1282-1282
HTML
XML
PDF
MONSTR V - Transitive Coercing Semantics ...
Research Article
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
Richard Banach
10.3217/jucs-003-12-1283
 28-12-1997
 Unique: 760 | Total: 978
 1283-1336
HTML
XML
PDF
Formal Analysis of the Kerberos Authentication ...
Research Article
Formal Analysis of the Kerberos Authentication System
Giampaolo Bella, Elvinia Riccobene
10.3217/jucs-003-12-1337
 28-12-1997
 Unique: 865 | Total: 1119
 1337-1381
HTML
XML
PDF
Abstract State Machine Semantics of SDL
Research Article
Abstract State Machine Semantics of SDL
Uwe Glaesser, Rene Karges
10.3217/jucs-003-12-1382
 28-12-1997
 Unique: 885 | Total: 1128
 1382-1414
HTML
XML
PDF
An Asynchronous Calculus Based on the ...
Research Article
An Asynchronous Calculus Based on the Absence of Actions
Padmanabhan Krishnan
10.3217/jucs-003-12-1415
 28-12-1997
 Unique: 763 | Total: 963
 1415-1428
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK