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 …
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 …
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