Logics and models of concurrent systems /
Συλλογικό Έργο: | NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division |
---|---|
Άλλοι συγγραφείς: | Apt, Krzysztof R., 1949- |
Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer-Verlag,
c1985.
|
Σειρά: | NATO ASI series. Computer and systems sciences
13. |
Θέματα: |
Παρόμοια τεκμήρια
-
Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989) -
Verifying concurrent processes using temporal logic
ανά: Hailpern, Brent T. 1955- ((Brent Tzion))
Έκδοση: (1982) -
Logics for concurrency structure versus automata
Έκδοση: (1996) -
Solving problems on concurrent processors
ανά: Fox, Geoffrey C. -
Principles of concurrent programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1982)