Communicating sequential processes
Communicating sequential processes
Theoretical Computer Science
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
A technique of state space search based on unfolding
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Handbook of logic in computer science (vol. 4)
Formal Methods in System Design - Special issue on symmetry in automatic verification
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Communication and Concurrency
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Discrete Event Dynamic Systems
DI-Domains as a Model of Polymorphism
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A New Definition of Morphism on Petri Nets
STACS '84 Proceedings of the Symposium of Theoretical Aspects of Computer Science
A Note on Powerdomains and Modalitiy
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Presheaf Models for the pi-Calculus
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Reasoning about Idealized ALGOL Using Regular Languages
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Weak Bisimulation and Open Maps
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Categories for Fixpoint Semantics
Categories for Fixpoint Semantics
Nominal logic, a first order theory of names and binding
Information and Computation - TACS 2001
Unique factorisation lifting functors and categories of linearly-controlled processes
Mathematical Structures in Computer Science
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
Theoretical Computer Science - Logic, semantics and theory of programming
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Distributing probability over non-determinism
Mathematical Structures in Computer Science
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Independence and Concurrent Separation Logic
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Probabilistic event structures and domains
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Event Domains, Stable Functions and Proof-Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
A Bayesian Model for Event-based Trust
Electronic Notes in Theoretical Computer Science (ENTCS)
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science (ENTCS)
The next resource war: computation vs. communication
Proceedings of the 2008 international workshop on System level interconnect prediction
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
On a Fully Abstract Model for a Quantum Linear Functional Language
Electronic Notes in Theoretical Computer Science (ENTCS)
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Searching for shapes in cryptographic protocols
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
L-Nets, strategies and proof-nets
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Compositional event structure semantics for the internal π-calculus
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Configuration structures, event structures and Petri nets
Theoretical Computer Science
| Hi-index | 0.00 |
The article discusses causal models, such as Petri nets and event structures, how they have been rediscovered in a wide variety of recent applications, and why they are fundamental to computer science. A discussion of their present limitations leads to their extension with symmetry. The consequences, actual and potential, are discussed.