195 search results - page 5 / 39 » Process Algebra with Nonstandard Timing |
TSP
2008
14 years 9 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...
BIRTHDAY
2000
Springer
15 years 1 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
15 years 3 months ago
2007
Springer
FCT
1995
Springer
15 years 1 months ago
1995
Springer
REX
1991
15 years 29 days ago
1991