Fully abstract models and refinements as tools to compare agents in timed coordination languages

DOI10.1016/J.TCS.2008.09.020MaRDI QIDQ1004066zbMATH OpenOpenAlexFDO

Authors Jean-Marie Jacquet, Isabelle Linden

Publication date 2 March 2009

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.09.020

zbMATH Keywords

coordination languagesrefinementsemantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching
• scientific article; zbMATH DE number 4119655
• Timewise refinement for communicating processes
• Timewise refinement for communicating processes
• On the expressiveness of timed coordination models

Cites work

• A calculus of communicating systems
• A refinement calculus for tuple spaces
• Coordination Models and Languages
• Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
• Fully abstract denotational models for nonuniform concurrent languages
• Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching
• scientific article; zbMATH DE number 1615979 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1049043 (Why is no real title available?)
• On the expressiveness of timed coordination models
• On the regularization of Zeno hybrid automata
• Statecharts: a visual formalism for complex systems
• The B-Book
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(3)

• Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach
• On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
• On the expressiveness and efficiency of guarded lists in Bach

Describes a project that uses

Uses Software

• LUSTRE
• Esterel

This page was built for publication: Fully abstract models and refinements as tools to compare agents in timed coordination languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1004066)