Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...




ACM computing surveys, 2009-10, Vol.41 (4), p.1-8
2009
Link zum Volltext

Graphical models of separation logic
Information processing letters, 2009-08, Vol.109 (17), p.1001-1004
2009
Link zum Volltext


Formal aspects of computing, 2006-06, Vol.18 (2), p.143-151
2006
Link zum Volltext

A calculus of durations
Information processing letters, 1991-12, Vol.40 (5), p.269-276
1991
Link zum Volltext

Linking Theories of Concurrency
Lecture notes in computer science, 2005, p.303-317
1ère éd, 2005
Link zum Volltext

Open Access
Assertions: a personal perspective
IEEE annals of the history of computing, 2003-04, Vol.25 (2), p.14-25
2003

ECOOP’ 99 — Object-Oriented Programming, 1999, p.1-18
1999
Link zum Volltext


ACM computing surveys, 2009-10, Vol.41 (4), p.1-3
2009
Link zum Volltext

ACM computing surveys, 2009, Vol.41 (4)
2009
Link zum Volltext


FM’99 — Formal Methods, 1999, p.1-27
1999
Link zum Volltext


Philosophical transactions of the Royal Society of London. Series A: Mathematical and physical sciences, 1984-10, Vol.312 (1522), p.475-489
1984
Link zum Volltext

Acta informatica, 1986-04, Vol.23 (1), p.9-66
1986
Link zum Volltext

Open Access
Concurrent Kleene Algebra
CONCUR 2009 - Concurrency Theory, p.399-414
Link zum Volltext


Open Access
Communicating sequential processes
Communications of the ACM, 1983, Vol.26 (1), p.100-106
1983
Link zum Volltext

Esterel on Hardware [and Discussion]
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 1992-04, Vol.339 (1652), p.87-104
1992
Link zum Volltext

Acta informatica, 1993-08, Vol.30 (8), p.701-739
1993
Link zum Volltext
Aktive Filter
ThemaHumans
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n