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...


Electronic proceedings in theoretical computer science, 2022-08, Vol.365
2022
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2024, Vol.401, p.11-21
2024
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-06, Vol.211 (Proc. PLACES 2016), p.1-12
2016
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2023-04, Vol.378
2023
Volltextzugriff (PDF)


Fundamenta informaticae, 2024-01, Vol.192 (1), p.1-75
2024
Volltextzugriff (PDF)

Open Access
Global types with internal delegation
Theoretical computer science, 2020-02, Vol.807, p.128-153
2020
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2014-08, Vol.162 (Proc. BEAT 2014), p.9-18
2014
Volltextzugriff (PDF)

Acta informatica, 2019-11, Vol.56 (7-8), p.553-583
2019
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-08, Vol.64 (Proc. EXPRESS 2011), p.16-30
2011
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2023-02, Vol.131, p.100844, Article 100844
2023
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2022, Vol.356, p.12-23
2022
Volltextzugriff (PDF)

Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, Vol.11665, p.340-363
2019
Volltextzugriff (PDF)

Information and computation, 2014-11, Vol.238, p.68-105
2014
Volltextzugriff (PDF)

Mathematical structures in computer science, 2016-12, Vol.26 (8), p.1352-1394
2016
Volltextzugriff (PDF)

Open Access
EXPRESSing Session Types
Electronic proceedings in theoretical computer science, 2023, Vol.387, p.8-25
2023
Volltextzugriff (PDF)

Journal of Logical and Algebraic Methods in Programming, 2019-10, Vol.107, p.175-176
2019
Volltextzugriff (PDF)


Coordination Models and Languages, 2024, p.219-238
2024
Volltextzugriff (PDF)

Coordination Models and Languages, 2024, p.93-110
2024
Volltextzugriff (PDF)


Encoding Petri Nets into CCS
Coordination Models and Languages, 2024, p.38-55
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n