Axiomatizing net computations and processes
Proceedings of the Fourth Annual Symposium on Logic in computer science
Compositionality through an operational semantics of contexts
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Transition systems with algebraic structure as models of computations
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
An algebraic semantics for structured transition systems and its application to logic programs
Theoretical Computer Science - Selected papers of the 7th Annual Symposium on theoretical aspects of computer science (STACS '90) Rouen, France, February 1990
Concurrent constraint programming
Concurrent constraint programming
Selected papers of the 3rd workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science
A theory of processes with durational actions
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Process versus unfolding semantics for place/transition Petri nets
Theoretical Computer Science - Special volume on Petri nets
Location equivalence in a parametric setting
Theoretical Computer Science
Fundamenta Informaticae - Special issue on graph transformations
History dependent verification for partial order systems
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Efficient Minimization up to Location Equivalence
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Towards a Concurrent Semantics based Analysis of CC and CLP
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
On the Relationship of CCS and Petri Nets
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Minimal Transition Systems for History-Preserving Bisimulation
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
On the Ill-Timed but Well-Caused
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Checking Bisimilarity for Finitary pi-Calculus
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Relating Two Categorial Models of Term Rewriting
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Abstract Graph Derivations in the Double Pushout Approach
Proceedings of the International Workshop on Graph Transformations in Computer Science
Contextual Occurence Nets and Concurrent Constraint Programming
Proceedings of the International Workshop on Graph Transformations in Computer Science
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Partial orderings descriptions and observations of nondeterministic concurrent processes
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
An Event Structure Semantics for Graph Grammars with Parallel Productions
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Dynamic Matrices and the Cost Analysis of Concurrent Programs
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
History-Dependent Automata
The Tile Model
| Hi-index | 0.00 |