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...
Physical review. E, 2020-05, Vol.101 (5), p.052605-052605, Article 052605
2020
Volltextzugriff (PDF)

Open Access
Fixpoint Theory -- Upside Down
Logical methods in computer science, 2023-01, Vol.19, Issue 2
2023
Volltextzugriff (PDF)


Open Access
Coalgebraic Behavioral Metrics
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)

Open Access
Fixpoint games on continuous lattices
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)

Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)

Theoretical computer science, 2018-01, Vol.706, p.54-82
2018
Volltextzugriff (PDF)

Open Access
Minimisation of event structures
Theoretical computer science, 2022-10, Vol.935, p.174-199
2022
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2016-10, Vol.85 (6), p.1110-1130
2016
Volltextzugriff (PDF)

ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-49
2020
Volltextzugriff (PDF)

A Logic for True Concurrency
Journal of the ACM, 2014-07, Vol.61 (4), p.1-36
2014
Volltextzugriff (PDF)

Information and computation, 2022-11, Vol.289, p.104953, Article 104953
2022
Volltextzugriff (PDF)

Acta informatica, 2019-02, Vol.56 (1), p.61-92
2019
Volltextzugriff (PDF)

Information and computation, 2021-12, Vol.281, p.104770, Article 104770
2021
Volltextzugriff (PDF)

CONCUR 2014 – Concurrency Theory, p.63-77
Volltextzugriff (PDF)

Theoretical computer science, 2022-04, Vol.913, p.94-112
2022
Volltextzugriff (PDF)

Preface
Information and computation, 2017-02, Vol.252, p.1
2017
Volltextzugriff (PDF)

CONCUR 2014 – Concurrency Theory, p.435-450
Volltextzugriff (PDF)

A Causal View on Non-Interference
Fundamenta informaticae, 2015-07, Vol.140 (1), p.1-38
2015
Volltextzugriff (PDF)

Information and computation, 2022-05, Vol.285, p.104887, Article 104887
2022
Volltextzugriff (PDF)

CONCUR 2014 – Concurrency Theory, p.451-466
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.407-423
Volltextzugriff (PDF)


Natural computing, 2010-12, Vol.9 (4), p.955-989
2010
Volltextzugriff (PDF)

CONCUR 2014 – Concurrency Theory, p.93-108
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt