Computer Software
Print ISSN : 0289-6540
Regular Paper
A Non-Interleaving Semantics of Concurrent Processes with Name Passing
Masaki Murakami
Author information
JOURNAL FREE ACCESS

2000 Volume 17 Issue 1 Pages 45-58

Details
Download PDF (722K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© Japan Society for Software Science and Technology 2000
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top