Seeing Beyond Divergence

A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence can be seen. In this paper we show that a congruence previously identified as the weakest one to predict divergence over lab...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Roscoe, A. W.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Denotational Semantic Divergence Trace Exact sciences and technology Label Transition System Nondeterministic Choice Operational Semantic Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!