scientific article; zbMATH DE number 1142329

Cited in

(47)

Equivalence notions and model minimization in Markov decision processes
Comparing the expressiveness of the $\pi $-calculus and CCS
The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
The free process algebra generated by $\delta $, $\epsilon$ and $\tau $
Algebraic-coalgebraic specification in CoCASL
Dynamic consistency in process algebra: from paradigm to ACP
On cool congruence formats for weak bisimulations
Travelling salesman problem in tissue P systems with costs
A first order logic for specification of timed algorithms: Basic properties and a decidable class
Set graphs. II. Complexity of set graph recognition and similar problems
Process algebra and constraint programming for modeling interactions in MAS
Bisimulation and coinduction enhancements: a historical perspective
Branching bisimulation congruence for probabilistic systems
Hereditarily-finite sets, data bases and polynomial-time computability
Branching time controllers for discrete event systems
scientific article; zbMATH DE number 7577583 (Why is no real title available?)
Unique parallel decomposition in branching and weak bisimulation semantics
Modular structural operational semantics
Modelling mutual exclusion in a process algebra with time-outs
ACTLW -- an action-based computation tree logic with unless operator
Relational transducers for electronic commerce
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
scientific article; zbMATH DE number 7449995 (Why is no real title available?)
scientific article; zbMATH DE number 7243676 (Why is no real title available?)
Bi-inductive structural semantics
Relational structures model of concurrency
Merge-and-Shrink Abstraction
Computing the Maximum Bisimulation with Spiking Neural P Systems
scientific article; zbMATH DE number 7453959 (Why is no real title available?)
Model refinement using bisimulation quotients
Bisimulation and Hennessy-Milner logic for generalized synchronization trees
Proving correctness of labeled transition systems by semantic tableaux
Three metric domains of processes for bisimulation
Type inference for record concatenation and subtyping
Bisimulation for labelled Markov processes
Untyped lambda-calculus with input-output
Unique solutions of contractions, CCS, and their HOL formalisation
An improvement of algorithms for solving interface equations
A format for semantic equivalence comparison
Observational structures and their logic
scientific article; zbMATH DE number 7350777 (Why is no real title available?)
Bi-inductive structural semantics (extended abstract)
Synchronization expressions with extended join operation
An Incremental Bisimulation Algorithm
On a relation between algebraic programs and Turing machines
A complete axiomatization of weighted branching bisimulation

This page was built for publication:

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