Searching for authors named "Rainer Weber" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Development and Implementation of a Communication Protocol -- An exercise in Focus
- … Dendorfer, Rainer Weber Institut fr Informatik der Technischen Universitt Mnchen Postfach 20 24 20, D-8000…
- Cited by 3 (0 self) – Add To MetaCart
-
Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm
- …, Rainer Weber Fakultat fur Informatik, Technische Universitat Munchen Arcisstra��e 21, Postfach 20 24 20…
- Cited by 5 (0 self) – Add To MetaCart
-
Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents
- …, Frank Dederichs, Rainer Weber Institut fur Informatik Technische Universitat Munchen Postfach 202420…
- Cited by 1 (0 self) – Add To MetaCart
-
BCS Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm
- …, Rainer Weber Fakultat fur Informatik, Technische Universitat Munchen Arcisstra e 21, Postfach 20 24 20, D…
- Add To MetaCart
-
Characterizing the Behavior of Reactive Systems by Trace Sets
- … Joint Paper with Frank Dederichs, Claus Dendorfer, Rainer Weber Abstract The behavior of an asynchronous…
- Add To MetaCart
Showing 1 through 5.
