Formal models of communicating systems : languages, automata, and monadic second-order logic /
Saved in:
Main Author: | Bollig, Benedikt (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer
2006.
|
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Concurrent programming algorithms, principles, and foundations
by: Raynal, Michel
Published: (2013) -
Concurrent programming algorithms, principles, and foundations
by: Raynal, Michel
Published: (2013) -
Task scheduling for parallel systems /
by: Sinnen, Oliver, 1971-
Published: (2007) -
Petri nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /
Published: (2006) -
CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
Published: (2009)