IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synchronous + Concurrent + Sequential = Earlier than + Not later than

Sixth International Conference on Application of Concurrency to System Design

Author(s): G. Juhas ; R. Lorenz ; S. Mauser
Sponsor(s): ICT Turku Oy
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Turku, Finland
Conference Date: 28 June 2006
Page(s): 261 - 272
ISBN (Paper): 0-7695-2556-3
ISSN (Paper): 1550-4808
DOI: 10.1109/ACSD.2006.31
Regular:

In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Petri nets. Janicki and Koutny... View More

Advertisement