Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Grzegorz Rozenberg
J. W. de Bakker
Willem-Paul de Roever
W.-P. de Roever
Parallel Processing (Electronic Computers) Distributed Processing Logique Temporelle
No items found
Try changing the filters