A logig for the description of behaviours and properties of concurrent systems

• Authors:

• Ahmed Bouajjani;Susanne Graf;Joseph Sifakis

• Affiliations:

• -;-;-

• Venue:
• Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
• Year:
• 1988