eprintid: 2867
rev_number: 2
eprint_status: archive
userid: 1
dir: disk0/00/00/28/67
datestamp: 2023-11-09 15:51:07
lastmod: 2023-11-09 15:51:07
status_changed: 2023-11-09 15:44:27
type: conference_item
metadata_visibility: show
creators_name: Arpit, 
creators_name: Shafie, A.B.
creators_name: Ahmad, W.F.B.W.
title: An introduction on extensions of process algebra: Concurrent and communicating systems
ispublished: pub
keywords: Analytical reasoning; Calculus of communicating systems; Computing environments; Concurrency theory; Concurrent systems; Current trends; Distributed systems; In-process; Observational equivalences; Parallel and distributed systems; Present situation; Probabilistic systems; Process algebras, Calculations; Computer systems; Information science; Model checking; Technology, Algebra
note: cited By 2; Conference of 2012 International Conference on Computer and Information Science, ICCIS 2012 - A Conference of World Engineering, Science and Technology Congress, ESTCON 2012 ; Conference Date: 12 June 2012 Through 14 June 2012; Conference Code:93334
abstract: 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 IEEE.
date: 2012
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-84867843676&doi=10.1109%2fICCISci.2012.6297146&partnerID=40&md5=28d05590ac12c28944f8e5df048bcafb
id_number: 10.1109/ICCISci.2012.6297146
full_text_status: none
publication: 2012 International Conference on Computer and Information Science, ICCIS 2012 - A Conference of World Engineering, Science and Technology Congress, ESTCON 2012 - Conference Proceedings
volume: 2
place_of_pub: Kuala Lumpur
pagerange: 857-862
refereed: TRUE
isbn: 9781467319386
citation:   Arpit and Shafie, A.B. and Ahmad, W.F.B.W.  (2012) An introduction on extensions of process algebra: Concurrent and communicating systems.  In: UNSPECIFIED.