Elementary transition systems | Zendy

Mogens Nielsen | Zendy; Grzegorz Rozenberg | Zendy; P. S. Thiagarajan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Elementary transition systems

Author(s) -

Mogens Nielsen,

Grzegorz Rozenberg,

P. S. Thiagarajan

Publication year - 1990

Publication title -

daimi report series

Language(s) - English

Resource type - Journals

eISSN - 2245-9316

pISSN - 0105-8517

DOI - 10.7146/dpb.v19i310.6701

Subject(s) - concurrency , formalism (music) , subclass , computer science , simple (philosophy) , theoretical computer science , transition system , transition (genetics) , distributed computing , epistemology , chemistry , medicine , art , musical , philosophy , biochemistry , antibody , immunology , visual arts , gene

Transition systems are a simple and powerful formalism for explaining the operational behaviour of models of concurrency. They provide a common framework for investigating the interrelationships between different approaches to the study of distributed systems. Hence an important question to be answered is: which subclass of transition systems corresponds to a particular model of distributed systems? In this paper we provide an answer to this question for elementary net systems.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research