Works matching DE "BISIMULATION"
Results: 184
Safety of Uncertain Session Types with Interval Probability.
- Published in:
- Symmetry (20738994), 2025, v. 17, n. 2, p. 218, doi. 10.3390/sym17020218
- By:
- Publication type:
- Article
Bisimulations on Data Graphs.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 61, p. 171, doi. 10.1613/jair.5637
- By:
- Publication type:
- Article
Automatic verification of behavior preservation at the transformation level for relational model transformation.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 5, p. 2937, doi. 10.1007/s10270-018-00706-9
- By:
- Publication type:
- Article
Heuristic search for equivalence checking.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 2, p. 513, doi. 10.1007/s10270-014-0416-2
- By:
- Publication type:
- Article
A Formalisation of Core Erlang, a Concurrent Actor Language.
- Published in:
- Acta Cybernetica, 2024, v. 26, n. 3, p. 373, doi. 10.14232/actacyb.298977
- By:
- Publication type:
- Article
Correction to: Decidability of interpretability logics ILM<sub>0</sub> and ILW<sup>*</sup>.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
On the expressive power of first-order modal logic with two-dimensional operators.
- Published in:
- Synthese, 2018, v. 195, n. 10, p. 4373, doi. 10.1007/s11229-016-1172-3
- By:
- Publication type:
- Article
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.
- Published in:
- Synthese, 2017, v. 194, n. 7, p. 2447, doi. 10.1007/s11229-016-1060-x
- By:
- Publication type:
- Article
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.
- Published in:
- Synthese, 2013, v. 190, p. 135, doi. 10.1007/s11229-012-0243-3
- By:
- Publication type:
- Article
Action emulation.
- Published in:
- Synthese, 2012, v. 185, p. 131, doi. 10.1007/s11229-012-0083-1
- By:
- Publication type:
- Article
Exact sequences in categories of coalgebras.
- Published in:
- Journal of Algebra & Its Applications, 2025, v. 24, n. 2, p. 1, doi. 10.1142/S0219498825500331
- By:
- Publication type:
- Article
DEVELOPMENT OF CONCURRENT STRUCTURAL DECENTRALISED DISCRETE EVENT SYSTEM USING BISIMULATION CONCEPT.
- Published in:
- Numerical Algebra, Control & Optimization, 2016, v. 6, n. 3, p. 305, doi. 10.3934/naco.2016013
- By:
- Publication type:
- Article
A Calculus of Incomplete Fusions.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1105, doi. 10.1093/comjnl/bxt065
- By:
- Publication type:
- Article
Coalgebraic Aspects of Context-Awareness.
- Published in:
- Mobile Networks & Applications, 2013, v. 18, n. 3, p. 391, doi. 10.1007/s11036-012-0404-0
- By:
- Publication type:
- Article
The Evolution Mechanism of Correctness for Cyber-Physical System.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2024, v. 34, n. 7, p. 1095, doi. 10.1142/S0218194024500153
- By:
- Publication type:
- Article
A Unifying Coalgebraic Semantics Framework for Quantum Systems.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2021, v. 31, n. 03, p. 381, doi. 10.1142/S0218194021500133
- By:
- Publication type:
- Article
Bisimulations and bisimulation games between Verbrugge models.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 2, p. 231, doi. 10.1002/malq.202200042
- By:
- Publication type:
- Article
Filtrations of generalized Veltman models.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 4/5, p. 412, doi. 10.1002/malq.201500030
- By:
- Publication type:
- Article
Non-well-founded extensions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathbf {V}$\end{document}.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 3, p. 167, doi. 10.1002/malq.201200014
- By:
- Publication type:
- Article
An impossibility result on methodological individualism.
- Published in:
- Philosophical Studies, 2021, v. 178, n. 12, p. 4165, doi. 10.1007/s11098-021-01642-z
- By:
- Publication type:
- Article
A tutorial on the formal framework for spiking neural P systems.
- Published in:
- Natural Computing, 2023, v. 22, n. 1, p. 181, doi. 10.1007/s11047-022-09896-0
- By:
- Publication type:
- Article
Bimodality of wind-fed accretion in high-mass X-ray binaries.
- Published in:
- Publications of the Astronomical Society of Japan, 2014, v. 66, n. 2, p. 1, doi. 10.1093/pasj/psu018
- By:
- Publication type:
- Article
Some Formal Semantics for Epistemic Modesty.
- Published in:
- Logic & Logical Philosophy, 2020, v. 29, n. 3, p. 381, doi. 10.12775/LLP.2020.002
- By:
- Publication type:
- Article
NEIGHBORHOOD SEMANTICS FOR BASIC AND INTUITIONISTIC LOGIC.
- Published in:
- Logic & Logical Philosophy, 2015, v. 24, n. 3, p. 339, doi. 10.12775/LLP.2015.015
- By:
- Publication type:
- Article
Reactive bisimulation semantics for a process algebra with timeouts.
- Published in:
- Acta Informatica, 2023, v. 60, n. 1, p. 11, doi. 10.1007/s00236-022-00417-1
- By:
- Publication type:
- Article
Team bisimilarity, and its associated modal logic, for BPP nets.
- Published in:
- Acta Informatica, 2021, v. 58, n. 5, p. 529, doi. 10.1007/s00236-020-00377-4
- By:
- Publication type:
- Article
Aggregation-based minimization of finite state automata.
- Published in:
- Acta Informatica, 2021, v. 58, n. 3, p. 177, doi. 10.1007/s00236-019-00363-5
- By:
- Publication type:
- Article
On the probabilistic bisimulation spectrum with silent moves.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 465, doi. 10.1007/s00236-020-00379-2
- By:
- Publication type:
- Article
Characteristic invariants in Hennessy–Milner logic.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 671, doi. 10.1007/s00236-020-00376-5
- By:
- Publication type:
- Article
A complete axiomatization of weighted branching bisimulation.
- Published in:
- Acta Informatica, 2020, v. 57, n. 3-5, p. 689, doi. 10.1007/s00236-020-00375-6
- By:
- Publication type:
- Article
NEIGHBOURHOOD SEMANTICS FOR GRADED MODAL LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2021, v. 50, n. 3, p. 373, doi. 10.18778/0138-0680.2021.12
- By:
- Publication type:
- Article
The Modal Moving Spotlight Theory.
- Published in:
- Mind, 2022, v. 131, n. 524, p. 1195, doi. 10.1093/mind/fzab048
- By:
- Publication type:
- Article
Communication Pattern Logic: Epistemic and Topological Views.
- Published in:
- Journal of Philosophical Logic, 2023, v. 52, n. 5, p. 1445, doi. 10.1007/s10992-023-09713-8
- By:
- Publication type:
- Article
Arbitrary Public Announcement Logic with Memory.
- Published in:
- Journal of Philosophical Logic, 2023, v. 52, n. 1, p. 53, doi. 10.1007/s10992-022-09664-6
- By:
- Publication type:
- Article
A Unified Logic for Contingency and Accident.
- Published in:
- Journal of Philosophical Logic, 2022, v. 51, n. 4, p. 693, doi. 10.1007/s10992-021-09647-z
- By:
- Publication type:
- Article
What is Nominalistic Mereology?
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 1, p. 71, doi. 10.1007/s10992-012-9252-4
- By:
- Publication type:
- Article
Action Emulation between Canonical Models.
- Published in:
- Journal of Philosophical Logic, 2013, v. 42, n. 6, p. 905, doi. 10.1007/s10992-013-9298-y
- By:
- Publication type:
- Article
A Tractarian Universe.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 3, p. 519, doi. 10.1007/s10992-011-9182-6
- By:
- Publication type:
- Article
Behavioural equivalences for continuous-time Markov processes.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 4/5, p. 222, doi. 10.1017/S0960129523000099
- By:
- Publication type:
- Article
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 6, p. 572, doi. 10.1017/S0960129519000203
- By:
- Publication type:
- Article
Enhanced coalgebraic bisimulation.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1236, doi. 10.1017/S0960129515000523
- By:
- Publication type:
- Article
Practical coinduction.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1132, doi. 10.1017/S0960129515000493
- By:
- Publication type:
- Article
Bisimulation proof methods in a path-based specification language for polynomial coalgebras.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 765, doi. 10.1017/S0960129513000030
- By:
- Publication type:
- Article
Event Identifier Logic.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 2, p. 1, doi. 10.1017/S0960129513000510
- By:
- Publication type:
- Article
Model checking for performability.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 751, doi. 10.1017/S0960129512000254
- By:
- Publication type:
- Article
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 291, doi. 10.1017/S0960129511000417
- By:
- Publication type:
- Article
A hierarchy of reverse bisimulations on stable configuration structures.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 2, p. 333, doi. 10.1017/S0960129511000429
- By:
- Publication type:
- Article
Bisimulations for non-deterministic labelled Markov processes.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 43, doi. 10.1017/S0960129511000454
- By:
- Publication type:
- Article
BISIMULATION FOR BL-GENERAL FUZZY AUTOMATA.
- Published in:
- Iranian Journal of Fuzzy Systems, 2016, v. 13, n. 4, p. 35
- By:
- Publication type:
- Article
BISIMILAR SUBGROUPOIDS OF TRIVIAL GROUPOIDS WITH GROUP Z.
- Published in:
- Annals of 'Constantin Brancusi' University of Targu-Jiu. Engineering Series / Analele Universităţii Constantin Brâncuşi din Târgu-Jiu. Seria Inginerie, 2016, n. 4, p. 98
- By:
- Publication type:
- Article