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
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
An Algebra Of Dataflow Networks
Fundamenta Informaticae
Hi-index | 0.00 |