Process algebra approach to reasoning about concurrent actions

Feng, Y; Ying, MS

Process algebra approach to reasoning about concurrent actions

Feng, Y

Ying, MS

Permalink

Publication Type:: Journal Article
Citation:: Journal of Computer Science and Technology, 2004, 19 (3), pp. 364 - 373
Issue Date:: 2004-01-01

Closed Access

	Filename	Description	Size
	2008004826OK.pdf		914.67 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896	en_US
dc.contributor.author	Ying, MS https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2004-01-01	en_US
dc.identifier.citation	Journal of Computer Science and Technology, 2004, 19 (3), pp. 364 - 373	en_US
dc.identifier.issn	1000-9000	en_US
dc.identifier.uri	http://hdl.handle.net/10453/9098
dc.description.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.	en_US
dc.relation.ispartof	Journal of Computer Science and Technology	en_US
dc.relation.isbasedon	10.1007/BF02944906	en_US
dc.subject.classification	Software Engineering	en_US
dc.title	Process algebra approach to reasoning about concurrent actions	en_US
dc.type	Journal Article
utslib.citation.volume	3	en_US
utslib.citation.volume	19	en_US
utslib.for	080203 Computational Logic and Formal Languages	en_US
utslib.for	08 Information and Computing Sciences	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	closed_access
pubs.issue	3	en_US
pubs.publication-status	Published	en_US
pubs.volume	19	en_US

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.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/9098