A logic for the specification and proof of regular controllable processes of CCS

Authors:
Susanne Graf;Joseph Sifakis
Affiliations:
IMAG, Martin d'He´res Cedex, France;IMAG, Martin d'He´res Cedex, France
Venue:
Acta Informatica
Year:
1986

Citing 0
Cited 1

Regular types for active objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract