188 search results - page 4 / 38 » Forgetting the Time in Timed Process Algebra |
TSP
2008
13 years 7 months ago
2008
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
ANSOFT
2002
13 years 7 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...
BIRTHDAY
2000
Springer
13 years 12 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
FCT
1995
Springer
13 years 11 months ago
1995
Springer
