Deciding Framed Bisimilarity

BRICS Report Series
doi 10.7146/brics.v9i25.21741
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Checking Bisimilarity for Attributed Graph Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Complete Normal-Form Bisimilarity for State

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Is Timed Branching Bisimilarity an Equivalence Indeed?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Deciding Orthogonal Bisimulation

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

Deciding Regularity in Process Algebras

BRICS Report Series
1995English

A Ground-Complete Axiomatization of Stateless Bisimilarity Over Linda

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2015English

Is Aneuploidy Deciding Your Fate?

Cell Cycle
MedicineDevelopmental BiologyCell BiologyMolecular Biology
2014English

Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2003English

Zirconia vs Titanium Implants - Deciding Factors

Journal of Dentistry, Oral Disorders & Therapy
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy