A modular approach to defining and characterising notions of simulation
From MaRDI portal
Publication:2495641
DOI10.1016/J.IC.2005.04.005zbMATH Open1101.68937OpenAlexW2046946052MaRDI QIDQ2495641FDOQ2495641
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
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
- Structural induction and coinduction in a fibrational setting
- Universal coalgebra: A theory of systems
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The temporal semantics of concurrent programs
- Bisimulation through probabilistic testing
- A logic for reasoning about time and reliability
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Title not available (Why is that?)
- Coalgebraic logic
- Fixpoint semantics and simulation
- Simulations in coalgebra
- Results on the propositional \(\mu\)-calculus
- Using branching time temporal logic to synthesize synchronization skeletons
- Reactive, generative, and stratified models of probabilistic processes
- A hierarchy of probabilistic system types
- Probabilistic extensions of process algebras.
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Title not available (Why is that?)
- A compositional approach to defining logics for coalgebras
- On expressivity and compositionality in logics for coalgebras
- Title not available (Why is that?)
- CONCUR 2004 - Concurrency Theory
- On logics for coalgebraic simulation
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
