Bisimulation and Language Equivalence

doi 10.1007/0-306-48088-3_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands

Related search

Strong Splitting Bisimulation Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
1996English

Equivalence Class Formation in Language-Able and Language-Disabled Children.

Journal of the Experimental Analysis of Behavior
Behavioral NeuroscienceExperimentalCognitive Psychology
1986English

Polyprograms and Polyprogram Bisimulation

Modeling and Analysis of Information Systems
2018English

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation

2017English

Neighbourhood Contingency Bisimulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Equivalence Relations in Individuals With Language Limitations and Mental Retardation.

Journal of the Experimental Analysis of Behavior
Behavioral NeuroscienceExperimentalCognitive Psychology
2003English

Enhanced Coalgebraic Bisimulation

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

Deciding Orthogonal Bisimulation

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy