Is Timed Branching Bisimilarity an Equivalence Indeed?

Lecture Notes in Computer Science - Germany
doi 10.1007/11603009_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Equivalence Properties by Typing in Cryptographic Branching Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

International Journal of Foundations of Computer Science
Computer Science
2006English

Deciding Framed Bisimilarity

BRICS Report Series
2002English

Power Is Indeed Irrelevant in Interpreting Completed Studies

BMJ
2002English

Neil Smith, 1954–2012: “The Future Is Indeed Radically Open”

Urban Geography
DevelopmentUrban StudiesPlanningGeography
2013English

Very Atypical Agreement Indeed

Theoretical Linguistics
LinguisticsLanguage
2011English

Indeed, Nuance Matters

Journal of Thoracic Oncology
MedicineOncologyRespiratory MedicinePulmonary
2019English

Changing Times Indeed

Canadian Urological Association Journal
Urology
2014English

“Indeed, Cure Is Not Enough” – A Reflection on Paediatric Radiation Oncology

Clinical Oncology
Nuclear MedicineRadiologyImagingOncology
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy