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: | Arpit, Arpit, Shafie, Afza, Wan Ahmad, Wan Fatimah |
---|---|
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!
|
Similar Items
-
Automata for Modeling Reversible Probabilistic Processes
by: Arpit, Arpit, et al.
Published: (2013) -
Automata for Modeling the Distributed Probabilistic Reversible Processes
by: Arpit, Arpit, et al.
Published: (2014) -
MODELING VERIFICATION AND ANALYSIS OF CONCURRENT
PROBABILISTIC REVERSIBLE SYSTEMS
by: ,, ARPIT
Published: (2015) -
MODELING VERIFICATION AND ANALYSIS OF CONCURRENT
PROBABILISTIC REVERSIBLE SYSTEMS
by: ,, ARPIT
Published: (2016) -
Automata for modeling the distributed probabilistic reversible processes
by: Arpit,, et al.
Published: (2014)