An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems
This paper addresses a brief introduction on various extensions of process algebra for concurrent and communicating systems as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Literature has tracked the growth of process algebra since CCS...
Saved in:
Main Authors: | , , |
---|---|
Format: | Conference or Workshop Item |
Published: |
2012
|
Subjects: | |
Online Access: | http://eprints.utp.edu.my/8016/1/1569565009.pdf http://eprints.utp.edu.my/8016/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.utp.eprints.8016 |
---|---|
record_format |
eprints |
spelling |
my.utp.eprints.80162017-01-19T08:21:30Z An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah T Technology (General) This paper addresses a brief introduction on various extensions of process algebra for concurrent and communicating systems as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Literature has tracked the growth of process algebra since CCS (Calculus of Communicating Systems) was formulated till RCCS (Calculus for reversible concurrent systems), in order to reflect the changes in computing environment and comparison has been sketched on the basis of this. A relationship between concurrency and communication has been explored in this literature. Literature presents some analytical reasoning on this matter. In this paper, present situation and current trends in process algebra is also considered and makes a reason why some models are being preferred for extensions by researchers over others. Some challenges for the future work are also mentioned in this literature. 2012-06-12 Conference or Workshop Item NonPeerReviewed application/pdf http://eprints.utp.edu.my/8016/1/1569565009.pdf Arpit, Arpit and Shafie, Afza and Wan Ahmad, Wan Fatimah (2012) An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems. In: 2012 International Conference on Computer and Information Science. http://eprints.utp.edu.my/8016/ |
institution |
Universiti Teknologi Petronas |
building |
UTP Resource Centre |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Teknologi Petronas |
content_source |
UTP Institutional Repository |
url_provider |
http://eprints.utp.edu.my/ |
topic |
T Technology (General) |
spellingShingle |
T Technology (General) Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems |
description |
This paper addresses a brief introduction on various extensions of process algebra for concurrent and communicating systems as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Literature has tracked the growth of process algebra since CCS (Calculus of Communicating Systems) was formulated till RCCS (Calculus for reversible concurrent systems), in order to reflect the changes in computing environment and comparison has been sketched on the basis of this. A relationship between concurrency and communication has been explored in this literature. Literature presents some analytical reasoning on this matter. In this paper, present situation and current trends in process algebra is also considered and makes a reason why some models are being preferred for extensions by researchers over others. Some challenges for the future work are also mentioned in this literature. |
format |
Conference or Workshop Item |
author |
Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah |
author_facet |
Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah |
author_sort |
Arpit, Arpit |
title |
An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems |
title_short |
An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems |
title_full |
An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems |
title_fullStr |
An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems |
title_full_unstemmed |
An Introduction on Extensions of Process Algebra: Concurrent and Communicating Systems |
title_sort |
introduction on extensions of process algebra: concurrent and communicating systems |
publishDate |
2012 |
url |
http://eprints.utp.edu.my/8016/1/1569565009.pdf http://eprints.utp.edu.my/8016/ |
_version_ |
1738655622173294592 |
score |
13.209306 |