A principled exploration of coordination models

DOI10.1016/j.tcs.2004.11.012zbMath1080.68066OpenAlexW2054565444MaRDI QIDQ555789

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

zbMATH Keywords

CoordinationModelingAgentsFormal specificationMobilitySchemaVerification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Uses Software

• PICCOLA
• Linda

Cites Work

• Stepwise refinement of parallel algorithms
• A calculus of mobile processes. II
• Mobile ambients
• Separating computation, coordination and configuration
• Nomadic pict
• Generative communication in Linda
• An axiomatic basis for computer programming
• A notation and logic for mobile computing
• Unnamed Item
• Unnamed Item

This page was built for publication: A principled exploration of coordination models