Bisimulation Can't Be Traced

doi 10.1145/73560.73580
Full Text
Abstract

Available in full text

Date
Authors
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

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

Privacy PolicyRefund Policy