Team Automata Satisfying Compositionality (2003)

Cached

Download Links

by Maurice H. Ter Beek , Jetty Kleijn
Venue:Proc. FM 2003, in: Lecture Notes in Comput. Sci
Citations:12 - 4 self

Documents Related by Co-Citation

25 Synchronizations in Team Automata for Groupware Systems – Maurice H. Ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg - 1999
13 Team Automata—A Formal Approach to the Modeling – ter Beek, M H - 2003
471 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
34 Team automata for groupware systems – C A Ellis - 1997
1534 Distributed Algorithms – N A Lynch - 1996
5 Modularity for teams of – ter Beek, M H, J Kleijn
5 Team automata for security: A survey – Maurice H. ter Beek , Gabriele Lenzini, Marinella Petrocchi - 2005
24 IO Automaton Models and Proofs for Shared-Key Communication Systems – Nancy Lynch - 1999
6 Team automata for cscw - a survey – J Kleijn - 2003
3 Interactive behaviour of multi-component systems – J Carmona, J Kleijn - 2004
63 Forward and backward simulations for timing-based systems – Nancy Lynch, Frits Vaandrager - 1991
83 Liveness in Timed and Untimed Systems – Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch - 1994
365 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
1330 A Calculus of Communicating Systems – R Milner - 1980
5 Langages infinitaires et produit de mixage – R De Simone - 1984
28 The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems – Stephen J. Garland, Nancy A. Lynch - 1998
5 Team Automata for Security Analysis of Multicast/Broadcast Communication – Maurice Ter Beek, Gabriele Lenzini, Marinella Petrocchi - 2003
6 Formal Security Analysis with Interacting State Machines – David Von Oheimb, Volkmar Lotz - 2002
3 Spider: a Security Model Checker – G Lenzini, S Gnesi, D Latella