On Monitoring Concurrent Systems with TLA: An Example

Authors:
Nicolas Rivierre;Francois Horn;Frederic Dang Tran
Affiliations:
France Telecom R&D;France Telecom R&D;France Telecom R&D
Venue:
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Year:
2005

Citing 0
Cited 2

On contracting different behavioral properties in component-based systems

Proceedings of the 2006 ACM symposium on Applied computing
Enforcing different contracts in hierarchical component-based systems

SC'06 Proceedings of the 5th international conference on Software Composition

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with ...