Amanote Research

Amanote Research

    RegisterSign In

Bisimulation Can't Be Traced

doi 10.1145/73560.73580
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1988

Authors
B. BloomS. IstrailA. R. Meyer
Publisher

ACM Press


Related search

Beggars Can't Be Choosers

2019English

It Can't Be Our Fault, Can It?

Chemical and Engineering News
Chemical Engineering
1973English

What Happens When Developers Can't Develop: Can and Should Resource Developers Be Compensated When They Can't Develop Their Assets?

Alberta Law Review
2010English

The Mark of Filtration Leadership. When It Can't Be Left to Chance

Chemical and Engineering News
Chemical Engineering
1944English

Neighbourhood Contingency Bisimulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Enhanced Coalgebraic Bisimulation

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

Deciding Orthogonal Bisimulation

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

Polyprograms and Polyprogram Bisimulation

Modeling and Analysis of Information Systems
2018English

Bisimulation and Language Equivalence

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy