CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452MaRDI QIDQ5897508zbMATH OpenOpenAlexFDO

Authors Ron van der Meyden, Thomas Wilke

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11539452

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Logic for Programming, Artificial Intelligence, and Reasoning
• Knowledge-based synthesis of distributed systems using event structures
• SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
• Automated Technology for Verification and Analysis
• Distributed Synthesis for Alternating-Time Logics

Cited in

(10)

• Logic for Programming, Artificial Intelligence, and Reasoning
• scientific article; zbMATH DE number 7455739 (Why is no real title available?)
• Verification of multi-agent systems with public actions against strategy logic
• Uniform strategies, rational relations and jumping automata
• Observation and distinction: representing information in infinite games
• Synthesis in presence of dynamic links
• scientific article; zbMATH DE number 869756 (Why is no real title available?)
• On decidability of a logic of gossips
• Knowledge-based synthesis of distributed systems using event structures
• Distributed synthesis for well-connected architectures

This page was built for publication: CONCUR 2005 – Concurrency Theory

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