Back to Search Start Over

Process algebra approach to reasoning about concurrent actions

Authors :
Feng, Y
Ying, MS
Publication Year :
2004

Abstract

A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.

Subjects

Subjects :
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Computer Science::Logic in Computer Science
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
Computer Science::Programming Languages
Software Engineering
Computer Science::Formal Languages and Automata Theory

Details

Database :
OpenAIRE
Accession number :
edsair.od.......363..f25a37ad9c5fc0ae85970ad7c37fa0fa

Tools

Authors Abstract Subjects Details