A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra

Zhuo Guo (), Jianzhong Qiao () and Shukuan Lin
Additional contact information
Zhuo Guo: Northeastern University
Jianzhong Qiao: Northeastern University
Shukuan Lin: Northeastern University

A chapter in LISS 2012, 2013, pp 811-815 from Springer

Abstract: Abstract Real-time systems are characterized by stringent timing requirements that they must satisfy. Timed process algebras, one of the most commonly used frameworks for specifying and reasoning about real-time systems, allow complex structural properties to be modeled by means of structural operators. However, they are lack of cost modeling and analyzing capability. This paper proposes a process algebra called MCACP (Multi-Cost Algebra of Communicating Processes) basing on ACP (Algebra of Communicating Processes). We discuss the syntax and semantics of MCACP extended with Multi-cost information.

Keywords: Real-time systems; Process algebra; Price; Multi-cost; ACP (search for similar items in EconPapers)
Date: 2013
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-32054-5_114

Ordering information: This item can be ordered from
http://www.springer.com/9783642320545

DOI: 10.1007/978-3-642-32054-5_114

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().