Process algebra approach to reasoing about concurrent actions

Authors:
Yuan Feng;Ming-Sheng Ying
Affiliations:
State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology Tsinghua University, Beijing 100084, P.R. China;State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology Tsinghua University, Beijing 100084, P.R. China
Venue:
Journal of Computer Science and Technology
Year:
2004

Citing 4
Cited 0

Communication and concurrency

Communication and concurrency
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Reasoning about nondeterministic and concurrent actions: a process algebra approach

Artificial Intelligence
Topology in process calculus: approximate correctness and infinite evolution of concurrent programs

Topology in process calculus: approximate correctness and infinite evolution of concurrent programs

Quantified Score

Hi-index	0.00

Visualization

Abstract

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