| Publication | Date of Publication | Type |
|---|
The mays and musts of concurrent strategies
| 2024-10-01 | Paper |
Compositional checking of satisfaction
| 2024-04-29 | Paper |
Causal Unfoldings and Disjunctive Causes
Logical Methods in Computer Science | 2023-08-26 | Paper |
A presheaf semantics of value-passing processes
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
scientific article; zbMATH DE number 7649892 (Why is no real title available?)
| 2023-02-03 | Paper |
Stable bistructure models of PCF (preliminary draft)
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
scientific article; zbMATH DE number 7533330 (Why is no real title available?)
| 2022-05-28 | Paper |
Continuous probability distributions in concurrent games
| 2022-05-03 | Paper |
The concurrent game semantics of probabilistic PCF
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Distributed Strategies Made Easy
| 2020-05-26 | Paper |
scientific article; zbMATH DE number 7204333 (Why is no real title available?)
| 2020-05-26 | Paper |
scientific article; zbMATH DE number 7204431 (Why is no real title available?)
| 2020-05-26 | Paper |
Concurrent quantum strategies
Reversible Computation | 2019-10-17 | Paper |
Bistructures, bidomains and linear logic
Automata, Languages and Programming | 2019-04-29 | Paper |
Thin games with symmetry and concurrent Hyland-Ong games
| 2019-03-18 | Paper |
Non-angelic concurrent game semantics
| 2018-07-17 | Paper |
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Selecta Mathematica. New Series | 2018-07-16 | Paper |
Symmetry in concurrent games
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
The Parallel Intensionally Fully Abstract Games Model of PCF
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Games and strategies as event structures
| 2017-10-12 | Paper |
The winning ways of concurrent games
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
| 2017-01-26 | Paper |
Strategies as concurrent processes
| 2016-05-13 | Paper |
On concurrent games with payoff
| 2016-04-12 | Paper |
Distributed probabilistic and quantum strategies
| 2016-04-12 | Paper |
On probabilistic distributed strategies
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
On the determinacy of concurrent games on event structures with infinite winning sets
Journal of Computer and System Sciences | 2014-06-10 | Paper |
Probabilistic and quantum event structures
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Containment in Rule-Based Models
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Event structure spans for nondeterministic dataflow
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Event structures with symmetry
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Borel determinacy of concurrent games
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Imperfect information in logic and concurrent games
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Constraining rule-based dynamics with types
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
Deterministic concurrent strategies
Formal Aspects of Computing | 2013-03-22 | Paper |
Strategies as profunctors
Lecture Notes in Computer Science | 2013-03-18 | Paper |
The unfolding of general Petri nets
| 2012-10-19 | Paper |
Winning, losing and drawing in concurrent games with perfect or imperfect information
Logic and Program Semantics | 2012-07-16 | Paper |
Bicategories of concurrent games (invited paper)
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Full abstraction for HOPLA.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Prime algebraicity
Theoretical Computer Science | 2009-09-29 | Paper |
Symmetry in Petri nets
| 2009-07-27 | Paper |
Symmetry and Concurrency
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Independence and concurrent separation logic
Logical Methods in Computer Science | 2008-08-07 | Paper |
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models | 2008-06-19 | Paper |
The cartesian closed bicategory of generalised species of structures
Journal of the London Mathematical Society | 2008-03-13 | Paper |
Probabilistic event structures and domains
Theoretical Computer Science | 2006-09-13 | Paper |
Distributing probability over non-determinism
Mathematical Structures in Computer Science | 2006-05-22 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science | 2005-08-03 | Paper |
scientific article; zbMATH DE number 2163043 (Why is no real title available?)
| 2005-04-29 | Paper |
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
scientific article; zbMATH DE number 2134913 (Why is no real title available?)
| 2005-02-18 | Paper |
Domain theory for concurrency
Theoretical Computer Science | 2004-08-04 | Paper |
Presheaf models for CCS-like languages
Theoretical Computer Science | 2003-07-30 | Paper |
scientific article; zbMATH DE number 1954376 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1927578 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1863382 (Why is no real title available?)
| 2003-02-04 | Paper |
Synchronization trees
Theoretical Computer Science | 2002-05-13 | Paper |
A representation result for free cocompletions
Journal of Pure and Applied Algebra | 2001-11-05 | Paper |
scientific article; zbMATH DE number 1305006 (Why is no real title available?)
| 2000-07-19 | Paper |
scientific article; zbMATH DE number 1305004 (Why is no real title available?)
| 2000-02-06 | Paper |
scientific article; zbMATH DE number 1392305 (Why is no real title available?)
| 2000-01-25 | Paper |
scientific article; zbMATH DE number 1361142 (Why is no real title available?)
| 1999-12-20 | Paper |
scientific article; zbMATH DE number 1303724 (Why is no real title available?)
| 1999-09-30 | Paper |
scientific article; zbMATH DE number 1241703 (Why is no real title available?)
| 1999-01-18 | Paper |
scientific article; zbMATH DE number 1231607 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1086660 (Why is no real title available?)
| 1998-02-02 | Paper |
scientific article; zbMATH DE number 1086714 (Why is no real title available?)
| 1997-11-13 | Paper |
Completeness results for linear logic on Petri nets
Annals of Pure and Applied Logic | 1997-10-26 | Paper |
scientific article; zbMATH DE number 1059325 (Why is no real title available?)
| 1997-09-10 | Paper |
Petri nets and bisimulation
Theoretical Computer Science | 1997-02-28 | Paper |
Models for concurrency: Towards a classification
Theoretical Computer Science | 1997-02-27 | Paper |
Bisimulation from open maps
Information and Computation | 1997-02-03 | Paper |
CCS with priority choice
Information and Computation | 1995-04-10 | Paper |
scientific article; zbMATH DE number 439891 (Why is no real title available?)
| 1993-11-01 | Paper |
Compositional checking of satisfaction
Formal Methods in System Design | 1993-09-30 | Paper |
scientific article; zbMATH DE number 125887 (Why is no real title available?)
| 1993-02-21 | Paper |
A note on model checking the modal \(\nu\)-calculus
Theoretical Computer Science | 1992-06-25 | Paper |
Using information systems to solve recursive domain equations
Information and Computation | 1991-01-01 | Paper |
A compositional proof system on a category of labelled transition systems
Information and Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4119660 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4131643 (Why is no real title available?)
| 1989-01-01 | Paper |
Domain theoretic models of polymorphism
Information and Computation | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4050971 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4018370 (Why is no real title available?)
| 1987-01-01 | Paper |
Petri nets, algebras, morphisms, and compositionality
Information and Computation | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4045666 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049567 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4037170 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3999306 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3988722 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3954251 (Why is no real title available?)
| 1986-01-01 | Paper |
On powerdomains and modality
Theoretical Computer Science | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3905836 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3905833 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3940709 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3858394 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3892604 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3843129 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3936542 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3821120 (Why is no real title available?)
| 1982-01-01 | Paper |
Petri nets, event structures and domains. I
Theoretical Computer Science | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3651760 (Why is no real title available?)
| 1979-01-01 | Paper |
