A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Theoretical Computer Science
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Four combinators for concurrency
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Probabilistic event structures and domains
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science (ENTCS)
Event Structure Spans for Nondeterministic Dataflow
Electronic Notes in Theoretical Computer Science (ENTCS)
Trellis Processes: A Compact Representation for Runs of Concurrent Systems
Discrete Event Dynamic Systems
A logical framework for history-based access control and reputation systems
Journal of Computer Security
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Theoretical Computer Science
Model-Checking Games for Fixpoint Logics with Partial Order Models
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Automated Software Testing of Asynchronous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed event structures and the linear π-calculus
Theoretical Computer Science
The java memory model: operationally, denotationally, axiomatically
ESOP'07 Proceedings of the 16th European conference on Programming
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
Model-checking games for fixpoint logics with partial order models
Information and Computation
Transfer of trust in event-based reputation systems
Theoretical Computer Science
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Event structure semantics of parallel extrusion in the pi-calculus
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Winning, losing and drawing in concurrent games with perfect or imperfect information
Logic and Program Semantics
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
A nice labelling for tree-like event structures of degree 3
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Compositional event structure semantics for the internal π-calculus
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Distributed Probabilistic and Quantum Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |