We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Yuan Feng, Ming-Sheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions. Journal of Computer Science and Technology, 2004, 19(3).
Citation:
Yuan Feng, Ming-Sheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions. Journal of Computer Science and Technology, 2004, 19(3).
Yuan Feng, Ming-Sheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions. Journal of Computer Science and Technology, 2004, 19(3).
Citation:
Yuan Feng, Ming-Sheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions. Journal of Computer Science and Technology, 2004, 19(3).
Process Algebra Approach to Reasoning About Concurrent Actions
Yuan Feng
,
Ming-Sheng Ying
Abstract
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.
FullText(HTML)
References
(0)
Relative Articles
Supplements
(0)
Cited By
Catalog
/
DownLoad:
Full-Size Img
PowerPoint
Return
Return
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation