The following pages link to Bisimulation can't be traced (Q4369863):
Displayed 50 items.
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- On the axiomatisability of priority. III: Priority strikes again (Q2193294) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Testing equivalence as a bisimulation equivalence (Q2366163) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Branching bisimulation for probabilistic systems: characteristics and decidability (Q2491633) (← links)
- A stable programming language (Q2492185) (← links)
- The expressiveness of CSP with priority (Q2520703) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Characteristic Formulae for Timed Automata (Q2729632) (← links)
- Refinement Sensitive Formal Semantics of State Machines With Persistent Choice (Q2810972) (← links)
- Rule Formats for Timed Processes (Q2841307) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- Simulations Up-to and Canonical Preorders (Q2871827) (← links)
- Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems (Q2871829) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)