ON THE ALGEBRAIC SPECIFICATION OF FINITARY INFINITE COMMUNICATING SEQUENTIAL PROCESSES.

Manfred Broy, Martin Wirsig

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

11 Zitate (Scopus)

Abstract

The semantics of systems of finitary finite and infinite communicating processes is defined by algebraic means. An operational semantics and two corresponding versions of mathematical semantics for closed communicating systems ('a posteriori' semantics) are given based on the principle of observability. The concept of virtual process as a consequence of restricted observability is discussed. Finally 'a priori' semantics of sequential communicating processes is defined in terms of behaviourly complete contexts.

OriginalspracheEnglisch
TitelUnknown Host Publication Title
Herausgeber (Verlag)North-Holland Publ Co
Seiten171-198
Seitenumfang28
ISBN (Print)0444866191
PublikationsstatusVeröffentlicht - 1983

Fingerprint

Untersuchen Sie die Forschungsthemen von „ON THE ALGEBRAIC SPECIFICATION OF FINITARY INFINITE COMMUNICATING SEQUENTIAL PROCESSES.“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren