Process Algebra Approach To Reasoning About Concurrent Actions

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Process Algebra Approach To Reasoning About Concurrent Actions

Feng Yuan; Ying Mingsheng
URI: http://hdl.handle.net/10453/9098
Date: 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.

Show full item record

Files in this item

Icon
Name: 2008004826OK.pdf
Size: 914.6Kb
Format: PDF
View/Open

This item appears in the following Collection(s)