A modular approach to defining and characterising notions of simulation

DOI10.1016/J.IC.2005.04.005MaRDI QIDQ2495641zbMATH OpenOpenAlexFDO

Authors Corina Cîrstea

Publication date 30 June 2006

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

Full work available at URL https://doi.org/10.1016/j.ic.2005.04.005

zbMATH Keywords

simulationcoalgebramodal logicprobabilistic system

Mathematics Subject Classification ID

Recommendations

• Conceptual modelling for simulation Part I: definition and requirements
• Algebra and Coalgebra in Computer Science
• Simulation relations and applications in formal methods
• scientific article; zbMATH DE number 7361363
• Generalizing simulation to abstract domains
• Proofs from simulations and modular annotations
• Publication:4935940
• Conceptual modelling for simulation Part II: a framework for conceptual modelling
• scientific article; zbMATH DE number 1186202
• A formulation of a simulation modelling methodology

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1314223 (Why is no real title available?)
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• A compositional approach to defining logics for coalgebras
• A hierarchy of probabilistic system types
• A logic for reasoning about time and reliability
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation through probabilistic testing
• CONCUR 2004 - Concurrency Theory
• Coalgebraic logic
• Fixpoint semantics and simulation
• Many-sorted coalgebraic modal logic: A model-theoretic study
• On expressivity and compositionality in logics for coalgebras
• On logics for coalgebraic simulation
• Probabilistic extensions of process algebras.
• Reactive, generative, and stratified models of probabilistic processes
• Results on the propositional \(\mu\)-calculus
• Simulations in coalgebra
• Structural induction and coinduction in a fibrational setting
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The temporal semantics of concurrent programs
• Universal coalgebra: A theory of systems
• Using branching time temporal logic to synthesize synchronization skeletons

Cited in

(9)

• scientific article; zbMATH DE number 7566075 (Why is no real title available?)
• scientific article; zbMATH DE number 7361363 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• Simulations and bisimulations for coalgebraic modal logics
• Theory of Cryptography
• On logics for coalgebraic simulation
• Two-thirds simulation indexes and modal logic characterization
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• ArbiLoMod, a Simulation Technique Designed for Arbitrary Local Modifications

This page was built for publication: A modular approach to defining and characterising notions of simulation

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