Search alternatives:
concurrency » concurrent

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...

2
Published 1994
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...Secure Computation -- Optimistic Asynchronous Multi-party Contract Signing with Reduced Number...

4
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... -- Towards a lambda-calculus for concurrent and communicating systems -- A distributed, net oriented...

5
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... of concurrent and functional programming -- Development of concurrent programs: An example -- Horn clause...