Book Chapter10.1007/978-1-4613-0609-2_23

A Temporal Logic for Event Structures

Wojciech Penczek-1990-01-01

31

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Nondeterministic algorithmConcurrencyTemporal logicComputer scienceTheoretical computer scienceFormalism (music)Temporal logic of actionsInterleaving

Chat

Click to start Chat