On the relations computable by a class of concurrent automata
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A simple realization of a parallel device recognizing regular trace languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science
The Evolution of Concurrent Programs
Applied Intelligence
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Safety and liveness properties for real traces and a direct translation from LTL to monoids
Formal and natural computing
The word problem for 1LC congruences is NP-hard
Theoretical Computer Science
Transforming sequential processes of net systems into concurrent ones
International Journal of Knowledge-based and Intelligent Engineering Systems
Semi-traces and Their Application in Concurrency Control Problem
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
An automata-theoretical characterization of context-free trace languages
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
On restarting automata with window size one
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 5.24 |