Search alternatives:
concurrency » concurrent

1
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Concurrent Computing -- Towards Team-Automata-Driven Object-Oriented Collaborative Work -- Grammars...

3
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- Compositionality and concurrent networks: Soundness and completeness of a proofsystem...

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... ?-Calculus: A Tutorial -- An Introduction to Action Semantics -- Minimal Logic for Computable Functions...

5
Published 1987
Springer Berlin Heidelberg
Subjects: ...Computer Communication Networks...