Complete sequential specification allows for concurrent execution
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A simple realization of a parallel device recognizing regular trace languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
The box algebra = Petri nets + process expressions
Information and Computation
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Fundamenta Informaticae
A regular viewpoint on processes and algebra
Acta Cybernetica
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Modelling concurrency with comtraces and generalized comtraces
Information and Computation
An algebra of petri nets with arc-based time restrictions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Fundamenta Informaticae
The AltaRica Formalism for Describing Concurrent Systems
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
Generalized Mutual Exclusion with Semaphores Only
Fundamenta Informaticae
Hi-index | 0.00 |