Works matching DE "BISIMULATION"

Results: 191

Characterizations of two basic hybrid logics Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf025

By:

Hodkinson, Ian

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:

Verlan, Sergey;
Zhang, Gexiang

Publication type:

Article

Learning single and compound-protocol automata and checking behavioral equivalences.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 35, doi. 10.1007/s10009-025-00797-y

By:

Marksteiner, Stefan;
Schögler, David;
Sirjani, Marjan;
Sjödin, Mikael

Publication type:

Article

The RERS challenge: towards controllable and scalable benchmark synthesis.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 917, doi. 10.1007/s10009-021-00617-z

By:

Howar, Falk;
Jasper, Marc;
Mues, Malte;
Schmidt, David;
Steffen, Bernhard

Publication type:

Article

Multi-core symbolic bisimulation minimisation.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 157, doi. 10.1007/s10009-017-0468-z

By:

van Dijk, Tom;
van de Pol, Jaco

Publication type:

Article

Verification of critical systems described in real-time TiMo.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 395, doi. 10.1007/s10009-016-0439-9

By:

Aman, Bogdan;
Ciobanu, Gabriel

Publication type:

Article

Modeling task systems using parameterized partial orders.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 3, p. 269, doi. 10.1007/s10009-012-0264-8

By:

Houben, Fred;
Igna, Georgeta;
Vaandrager, Frits

Publication type:

Article

A syntactic congruence for languages of birooted trees.

Published in:

Semigroup Forum, 2015, v. 91, n. 3, p. 675, doi. 10.1007/s00233-014-9677-x

By:

Blumensath, Achim;
Janin, David

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:

Sietsma, Floor;
van Eijck, Jan

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:

Meyers, Jeremy

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:

Visser, Albert

Publication type:

Article

Dynamic network functional comparison via approximate-bisimulation.

Published in:

Control & Cybernetics, 2015, v. 44, n. 1, p. 99

By:

Donnarumma, Francesco;
Murano, Aniello;
Prevete, Roberto

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:

Björklund, Johanna;
Cleophas, Loek

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:

van Glabbeek, Rob

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:

Gorrieri, Roberto

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:

Baier, Christel;
D'Argenio, Pedro R.;
Hermanns, Holger

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:

Jasper, Marc;
Schlüter, Maximilian;
Steffen, Bernhard

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:

Jensen, Mathias Claus;
Larsen, Kim Guldstrand

Publication type:

Article

Probabilistic bisimulation for realistic schedulers.

Published in:

Acta Informatica, 2018, v. 55, n. 6, p. 461, doi. 10.1007/s00236-018-0313-1

By:

Zhang, Lijun;
Yang, Pengfei;
Song, Lei;
Hermanns, Holger;
Eisentraut, Christian;
Jansen, David N.;
Godskesen, Jens Chr.

Publication type:

Article

Parity game reductions.

Published in:

Acta Informatica, 2018, v. 55, n. 5, p. 401, doi. 10.1007/s00236-017-0301-x

By:

Cranen, Sjoerd;
Keiren, Jeroen J. A.;
Willemse, Tim A. C.

Publication type:

Article

Characteristic bisimulation for higher-order session processes.

Published in:

Acta Informatica, 2017, v. 54, n. 3, p. 271, doi. 10.1007/s00236-016-0289-7

By:

Kouzapas, Dimitrios;
Pérez, Jorge;
Yoshida, Nobuko

Publication type:

Article

A general account of coinduction up-to.

Published in:

Acta Informatica, 2017, v. 54, n. 2, p. 127, doi. 10.1007/s00236-016-0271-4

By:

Bonchi, Filippo;
Petrişan, Daniela;
Pous, Damien;
Rot, Jurriaan

Publication type:

Article

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).

Published in:

2017

By:

Aceto, Luca;
Frutos Escrig, David

Publication type:

Editorial

Distinguishing and relating higher-order and first-order processes by expressiveness.

Published in:

Acta Informatica, 2012, v. 49, n. 7/8, p. 445, doi. 10.1007/s00236-012-0168-9

By:

Xu, Xian

Publication type:

Article

Parameterizing higher-order processes on names and processes.

Published in:

RAIRO - Theoretical Informatics & Applications, 2019, v. 53, n. 3/4, p. 1, doi. 10.1051/ita/2019005

By:

Xu, Xian

Publication type:

Article

On characteristic formulae for Event-Recording Automata.

Published in:

RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 69, doi. 10.1051/ita/2012029

By:

Nguena Timo, Omer Landry;
Reynier, Pierre-Alain

Publication type:

Article

Bisimulations for delayed switched Boolean control networks and its application in controllability.

Published in:

IET Control Theory & Applications (Wiley-Blackwell), 2023, v. 17, n. 11, p. 1552, doi. 10.1049/cth2.12491

By:

Yu, Weiyong;
Deng, Zhenhua;
Guo, Qianjin;
Liu, Qiang

Publication type:

Article

Program Equivalence in the Erlang Actor Model.

Published in:

Computers (2073-431X), 2024, v. 13, n. 11, p. 276, doi. 10.3390/computers13110276

By:

Bereczky, Péter;
Horpácsi, Dániel;
Thompson, Simon

Publication type:

Article

Uniform Lyndon interpolation property in propositional modal logics.

Published in:

Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 659, doi. 10.1007/s00153-020-00713-y

By:

Kurahashi, Taishi

Publication type:

Article

Uncertainty-based knowing how logic.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 1, p. 1, doi. 10.1093/logcom/exad056

By:

Areces, Carlos;
Fervari, Raul;
Saravia, Andrés R;
Velázquez-Quesada, Fernando R

Publication type:

Article

Dual counterpart intuitionistic logic.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 3, p. 590, doi. 10.1093/logcom/exad019

By:

Cantor, Anthony;
Stump, Aaron

Publication type:

Article

Bisimulation in model-changing modal logics: An algorithmic study.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 2, p. 399, doi. 10.1093/logcom/exad018

By:

Ghosh, Sujata;
Gupta, Shreyas;
Li, Lei

Publication type:

Article

Game equivalence and expressive power of game description languages: a bisimulation approach.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 1, p. 163, doi. 10.1093/logcom/exac034

By:

Jiang, Guifei;
Perrussel, Laurent;
Zhang, Dongmo;
Zhang, Heng;
Zhang, Yuzhi

Publication type:

Article

Logics of dependence and independence: The local variants.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 7, p. 1690, doi. 10.1093/logcom/exab043

By:

Grädel, Erich;
Pützstück, Phil

Publication type:

Article

Fibrational bisimulations and quantitative reasoning: Extended version.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 6, p. 1526, doi. 10.1093/logcom/exab051

By:

Sprunger, David;
Katsumata, Shin-ya;
Dubut, Jérémy;
Hasuo, Ichiro

Publication type:

Article

Formula size games for modal logic and μ-calculus.

Published in:

Journal of Logic & Computation, 2019, v. 29, n. 8, p. 1311, doi. 10.1093/logcom/exz025

By:

Hella, Lauri T;
Vilander, Miikka S

Publication type:

Article

Uniform interpolation for propositional and modal team logics.

Published in:

Journal of Logic & Computation, 2019, v. 29, n. 5, p. 785, doi. 10.1093/logcom/exz006

By:

D'Agostino, Giovanna

Publication type:

Article

Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 8, p. 1805, doi. 10.1093/logcom/exv023

By:

Velázquez-Quesada, Fernando R

Publication type:

Article

Bisimulations for coalgebras on Stone spaces.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 6, p. 991, doi. 10.1093/logcom/exy001

By:

Enqvist, Sebastian;
Sourabh, Sumit

Publication type:

Article

On fixpoint logics and equivalences for processes with restricted nondeterminism.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 4, p. 779, doi. 10.1093/logcom/exv032

By:

GUTIERREZ, JULIAN

Publication type:

Article

Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 2, p. 451, doi. 10.1093/logcom/exx040

By:

YANJUN LI

Publication type:

Article

The lattice of congruences of a finite line frame.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 8, p. 2653, doi. 10.1093/logcom/exx026

By:

ARECES, C.;
CAMPERCHOLI, M.;
PENAZZI, D.;
TERRAF, P. SÁNCHEZ

Publication type:

Article

Modal independence logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1333, doi. 10.1093/logcom/exw019

By:

KONTINEN, JUHA;
MÜLLER, JULIAN-STEFFEN;
SCHNOOR, HENNING;
VOLLMER, HERIBERT

Publication type:

Article

Stochastic non-determinism and effectivity functions.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 1, p. 357, doi. 10.1093/logcom/exv049

By:

DOBERKAT, ERNST-ERICH;
TERRAF, PEDRO SÁNCHEZ

Publication type:

Article

Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 3, p. 549, doi. 10.1093/logcom/exu018

By:

FLETCHER, GEORGE H. L.;
GYSSENS, MARC;
LEINDERS, DIRK;
DEN BUSSCHE, JAN VAN;
VAN GUCHT, DIRK;
VANSUMMEREN, STIJN

Publication type:

Article

On the definability of simulation and bisimulation in epistemic logic.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 6, p. 1209, doi. 10.1093/logcom/exs058

By:

van Ditmarsch, Hans;
Fernández-Duque, David;
van der Hoek, Wiebe

Publication type:

Article

Notions of Bisimulation for Heyting-Valued Modal Languages.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 2, p. 213, doi. 10.1093/logcom/exq005

By:

Eleftheriou, Pantelis E.;
Koutras, Costas D.;
Nomikos, Christos

Publication type:

Article

Public communication in justification logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 6, p. 1005, doi. 10.1093/logcom/exq026

By:

Renne, Bryan

Publication type:

Article

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs.

Published in:

Journal of Electrical & Computer Engineering, 2015, v. 2015, p. 1, doi. 10.1155/2015/939028

By:

Shuja, Sana;
Srinivasan, Sudarshan K.;
Jabeen, Shaista;
Nawarathna, Dharmakeerthi

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:

Ma, Yanfang;
Chen, Liang

Publication type:

Article