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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Selecta mathematica (Basel, Switzerland), 2018-07, Vol.24 (3), p.2791-2830
2018
Volltextzugriff (PDF)



Open Access
Events, Causality and Symmetry
Computer journal, 2011-01, Vol.54 (1), p.42-57
2011
Volltextzugriff (PDF)

Open Access
Prime algebraicity
Theoretical computer science, 2009-09, Vol.410 (41), p.4160-4168
2009
Volltextzugriff (PDF)

Concurrent Strategies
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.409-418
2011
Volltextzugriff (PDF)

Mathematical structures in computer science, 2006-02, Vol.16 (1), p.87-113
2006
Volltextzugriff (PDF)

Lecture notes in computer science, 1998, p.103-115
1998
Volltextzugriff (PDF)

Relations in concurrency
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005, p.2-11
2005
Volltextzugriff (PDF)

Quantum counting
Automata, Languages and Programming, 1998, p.820-831
1998
Volltextzugriff (PDF)

Open Access
Name generation and linearity
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005, p.301-310
2005
Volltextzugriff (PDF)

Journal of the London Mathematical Society, 2008-02, Vol.77 (1), p.203-220
2008
Volltextzugriff (PDF)

Linearity in process languages
Proceedings - Symposium on Logic in Computer Science, 2002, p.433-444
2002
Volltextzugriff (PDF)

Open Access
The Winning Ways of Concurrent Games
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.235-244
2012
Volltextzugriff (PDF)

Lecture notes in computer science, 1998, p.152-163
1998
Volltextzugriff (PDF)

Automata, Languages and Programming, 1998, p.628-641
1998
Volltextzugriff (PDF)

Lecture notes in computer science, 1998, p.53-66
1998
Volltextzugriff (PDF)


Open Access
CCS with Priority Choice
Information and computation, 1995, Vol.116 (1), p.26-37
1995
Volltextzugriff (PDF)

CONCUR 2004 - Concurrency Theory, 2004, p.481-496
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 1998, p.868-883
1998
Volltextzugriff (PDF)

A linear metalanguage for concurrency
Lecture notes in computer science, 1999, p.42-58
1999
Volltextzugriff (PDF)

Open Access
Synchronization trees
Theoretical computer science, 1984, Vol.34 (1), p.33-82
1984
Volltextzugriff (PDF)

The regular real-time languages
Automata, Languages and Programming, 1998, p.580-591
1998
Volltextzugriff (PDF)

Open Access
Bisimulation from Open Maps
Information and computation, 1996-06, Vol.127 (2), p.164-185
1996
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n