From domains to automata with concurrency
F Bracho, M Droste - International Colloquium on Automata, Languages …, 1993 - Springer
We investigate an operational model of concurrent systems, called automata with
concurrency relations. These are labelled transition systems A in which the event set is …
concurrency relations. These are labelled transition systems A in which the event set is …
Concurrent automata, prime event structures and universal domains
P Boldi, F Cardone, N Sabadini, M Droste… - … languages and model …, 1993 - books.google.com
In this paper we study the relationships between domains and computation spaces of
concurrent automata. In particular, we prove representation results for coherent dl-domains …
concurrent automata. In particular, we prove representation results for coherent dl-domains …
Order isomorphism does not preserve global event independence
A Rensink - 1993 - research.utwente.nl
We report a negative result on the characterisation of partial order equivalence relations
over models which feature a global notion of event independence. We show an example of …
over models which feature a global notion of event independence. We show an example of …
[PDF][PDF] Monotone and Nonmonotone Dataflow Networks
P Panangaden - 1993 - Citeseer
The expressiveness of concurrent data ow primitives have been studied from the point of
view of automata theory 19] as well as in terms of abstractly given processes de ned in terms …
view of automata theory 19] as well as in terms of abstractly given processes de ned in terms …
[引用][C] Department of Computer Science Cornell University Ithaca, NY 14853 USA
P Panangaden, V Shanbhogue - 1993