20 search results - page 1 / 4 » The Real-Time Process Algebra (RTPA) |
ANSOFT
2002
13 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
TCOS
2008
13 years 4 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
IJCINI
2007
13 years 4 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
RTSS
2008
IEEE
13 years 11 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...