Search alternatives:
concurrency » concurrent

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... to the Ada Language -- Program Analysis -- Static Dependency Analysis for Concurrent Ada 95 Programs...

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...-tolerance by replication in distributed systems -- Ada95: An effective concurrent programming language...

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... to Model Concurrency Using OCL --...

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Communication in Distributed Computer-Controlled Systems -- Building Robust Applications by Reusing Non-robust...

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Symbolic Evaluation -- Quasar: A New Tool for Concurrent Ada Programs Analysis -- Distributed Information...