How Expressive Are LOTOS Behaviour Expressions?

Authors:
Alessandro Fantechi;Stefania Gnesi;Gianluca Mazzarini
Affiliations:
-;-;-
Venue:
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Year:
1990

Citing 0
Cited 5

A LOTOS extension for the performance analysis of distributed systems

IEEE/ACM Transactions on Networking (TON)
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions

IEEE Transactions on Computers
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters

IEEE Transactions on Software Engineering
Formal modeling and quantitative analysis of KLAIM-based mobile systems

Proceedings of the 2005 ACM symposium on Applied computing
Model checking mobile stochastic logic

Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract