Technical Report
Concurrent Timed Port Automata
Author(s): Radu Grosu, Bernhard Rumpe
Year: 1995
Number: TUM-I9533
Editor:
CR Classification:
CR General Terms:
Keywords: Port Automata, Concurrency, Time, Streams, Composition
Abstract:We present a new and powerful class of automata which are explicitly concurrent and allow a very simple definition of composition. The novelty of these automata is their time-synchronous message-asynchronous communication mechanism. Time synchrony is obtained by using a global clock. Message asynchrony is obtained by requiring the automata to react to every input. Explicit concurrency is obtained by marking each transition with a set of input and output messages. We compare these automata with a history based approach which uses the same communication mechanism and show that they are equivalent.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ TUM-I9533,
author = {Radu Grosu and Bernhard Rumpe},
title = {Concurrent Timed Port Automata},
number = {TUM-I9533},
institution = {Technische Univerit\"at M\"unchen},
year = {1995},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9533.html},
abstract = {We present a new and powerful class of automata which are explicitly concurrent and allow a very simple definition of composition. The novelty of these automata is their time-synchronous message-asynchronous communication mechanism. Time synchrony is obtained by using a global clock. Message asynchrony is obtained by requiring the automata to react to every input. Explicit concurrency is obtained by marking each transition with a set of input and output messages. We compare these automata with a history based approach which uses the same communication mechanism and show that they are equivalent. },
CRClassification = {},
CRGenTerms = {}
}
]]>