A principled exploration of coordination models
From MaRDI portal
Publication:555789
DOI10.1016/J.TCS.2004.11.012zbMATH Open1080.68066OpenAlexW2054565444MaRDI QIDQ555789FDOQ555789
Authors: Gruia-Catalin Roman, Jamie Payton 
Publication date: 10 June 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://openscholarship.wustl.edu/cgi/viewcontent.cgi?article=1992&context=cse_research
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Cites Work
- PICCOLA -- a small composition language
- Title not available (Why is that?)
- A calculus of mobile processes. II
- Generative communication in Linda
- An axiomatic basis for computer programming
- Mobile ambients
- Separating computation, coordination and configuration
- Nomadic Pict: correct communication infrastructure for mobile computation
- A notation and logic for mobile computing
- Stepwise refinement of parallel algorithms
Cited In (13)
- Modeling coordinated work: Definition and application of the model ``Coordinated work environment
- Software architectures and coordination models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coordination Models and Languages
- Coordination Models and Languages
- Coordination Models and Languages
- Title not available (Why is that?)
- A component coordination model based on mobile channels
- Coordination via interaction constraints. I: Local logic
- Title not available (Why is that?)
- A Coordination Model for Interactive Components
- Title not available (Why is that?)
Uses Software
This page was built for publication: A principled exploration of coordination models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555789)
