Connections between a concrete and an abstract model of concurrent systems

EW Stark - International Conference on Mathematical Foundations …, 1989 - Springer
We define a concrete operational model of concurrent systems, called trace automata. For
such automata, there is a natural notion of permutation equivalence of computation …
被引用次数：63 相关文章

Connections between a concrete and an abstract model of concurrent systems

EW Stark - Mathematical Foundations of Programming Semantics - infona.pl
We define a concrete operational model of concurrent systems, called trace automata. For
such automata, there is a natural notion of permutation equivalence of computation …

[引用][C] Connections between a concrete and an abstract model of concurrent systems

EW Stark - Proceedings of the fifth international conference on …, 1990 - dl.acm.org
Connections between a concrete and an abstract model of concurrent systems | Proceedings
of the fifth international conference on Mathematical foundations of programming semantics …

[引用][C] Connections between a Concrete and an Abstract Model of Concurrent Systems

EW Stark - Proceedings of the 5th International Conference on …, 1989 - dl.acm.org
Connections between a Concrete and an Abstract Model of Concurrent Systems |
Proceedings of the 5th International Conference on Mathematical Foundations of …

[引用][C] Connections between a concrete and an abstract model of concurrent systems

E Stark - Mathematical Foundations of Programming Semantics, 1990 - Springer