Naslov
Communicating Evolving Algebras

Autori
Glavan, Paola ; Rosenzweig, Dean

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Computer Science Logic / E. Boerger, H. Kleine Buenning, G. Jaeger, S. Martini, M.M. Richter - Berlin : Springer, 1993, 182-215

Skup
Computer Science Logic

Mjesto i datum
San Miniato, Italija, 28.09.92.-02.10.92

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
distributed evolving algebras; pi-calculus; chemical abstract machines

Sažetak
We develop the first steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general framework for modeling concurrent computation. As a basic tool we introduce a `modal' logic of transition rules and runs, which is, in the context of evolving algebras, just a definitional extension of ordinary first order logic. A notion of independence of rules and runs enables us to introduce a notion of (and notation for) concurrent runs, on which a logical theory of (`true') concurrency may be based. The notion of concurrent run also has (but does not depend on) an interleaving interpretation. Some basic constructs (concurrent composition, addition of guards and updates) and some derived constructs (internal and external choice, sequential composition) on evolving algebras are introduced and investigated. The power of the framework is demonstrated by developing simple and transparent evolving algebra models for the Chemical Abstract Machine of Berry and Boudol and for the $\pi$--calculus of Milner. Their respective notions of pa\-ra\-llelism map directly and faithfully to the native concurrency of evolving algebras.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA