W. Vogler. Concurrent implementation of asynchronous transition systems. In ICAPTN'99, volume 1639 of LNCS, pages 284--303. Springer, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Concurrent Realizations of Reactive Systems - Bednarczyk, Borzyszkowski (1999) (1 citation) (Correct)
....corresponds to the notion of strong bisimulation. We have grounds to believe that by allowing partial relabellings, and thereby silent actions in the implementing systems, one can achieve more concurrent behaviour. A similar line of research has been recently initiated by Vogler, cf. [13]. ....
W. Vogler. Concurrent implementations of asynchronous transition systems, 1999. Submitted.
The mandala and Concurrent Realizations of Reactive Systems - Bednarczyk, Borzyszkowski (Correct)
....corresponds to the notion of strong bisimulation. We have grounds to believe that by allowing partial relabellings, and thereby silent actions in the implementing systems, one can achieve more concurrent behaviour. A similar line of research has been recently initiated by Vogler, cf. [13]. 17 ....
W. Vogler. Concurrent implementations of asynchronous transition systems, 1999. Submitted. 18
Complexity Results for Checking Distributed Implementability - Heljanko, Stefanescu (2004) (Correct)
No context found.
W. Vogler. Concurrent implementation of asynchronous transition systems. In ICAPTN'99, volume 1639 of LNCS, pages 284--303. Springer, 1999.
On Concurrent Realization of Reactive Systems - And Their Morphisms (Correct)
No context found.
W. Vogler. Concurrent implementations of asynchronous transition systems. In Proc. Application and Theory of Petri Nets 1999, ICATPN'99 , vol. 1630 of LNCS , pp. 284--303. Springer, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC