A Modal Characterization of Observational Congruence on Finite Terms of CCS

Authors:
Susanne Graf;Joseph Sifakis
Affiliations:
-;-
Venue:
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Year:
1984

Citing 0
Cited 2

Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Descriptive and relative completeness of logics for higher-order functions

ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract