The theory of database concurrency control
The theory of database concurrency control
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Theoretical Computer Science
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent bisimulations in Petri nets
Acta Informatica
Process algebra
Flow event structures and flow nets
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Branching processes of Petri nets
Acta Informatica
Schedulers as abstract interpretations of higher-dimensional automata
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Semantic analysis of shared-memory concurrent languages using abstract model-checking
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Handbook of logic in computer science (vol. 4)
Theoretical Computer Science - Special volume on Petri nets
The difference between splitting in n and n + 1
Information and Computation
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Current trends in theoretical computer science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Durations for Truly-Concurrent Transitions
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Dihomotopy as a Tool in State Space Analysis
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Detecting Deadlocks in Concurrent Systems
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On the Semantics of Petri Nets
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Homology of Higher Dimensional Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Domains of Higher-Dimensional Automata
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Semantics and Analysis of Linda-Based Languages
WSA '93 Proceedings of the Third International Workshop on Static Analysis
Extraction of Concurrent Processes from Higher Dimensional Automata
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Categories of asynchronous systems
Categories of asynchronous systems
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Geometry and concurrency: a user's guide
Mathematical Structures in Computer Science
On the classification of dipaths in geometric models for concurrency
Mathematical Structures in Computer Science
Loops, ditopology and deadlocks
Mathematical Structures in Computer Science
Homotopy invariants of higher dimensional categories and concurrency in computer science
Mathematical Structures in Computer Science
Higher dimensional automata revisited
Mathematical Structures in Computer Science
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
Combinatorics of labelling in higher-dimensional automata
Theoretical Computer Science
Configuration structures, event structures and Petri nets
Theoretical Computer Science
| Hi-index | 5.23 |