Inductive synthesis of recursive processes from logical properties

DOI10.1006/inco.2000.2883zbMath1003.68070OpenAlexW2036027889MaRDI QIDQ1854392

Norio Shiratori, Shigetomo Kimura, Atsushi Togashi

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2433/59387

Mathematics Subject Classification ID

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

Related Items (1)

Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics for communicating systems
• Results on the propositional \(\mu\)-calculus
• A proof-theoretic characterization of observational equivalence
• Learning regular sets from queries and counterexamples
• An automata theoretic decision procedure for the propositional mu- calculus
• Synthesis of Communicating Processes from Temporal Logic Specifications
• A logic for the description of non-deterministic programs and their properties
• A modal characterization of observational congruence on finite terms of CCS
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency

This page was built for publication: Inductive synthesis of recursive processes from logical properties