Logics for concurrency: structure versus automata

• Authors:

• Faron Moller

• Affiliations:

• Uppsala University, Computing Science Department, P.O. Box 311, S-751 05 Uppsala, Sweden

• Venue:
• ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
• Year:
• 1996