195 search results - page 5 / 39 » Process Algebra with Nonstandard Timing |
99
Voted
TSP
2008
14 years 11 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...
88
Voted
BIRTHDAY
2000
Springer
15 years 4 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 5 months ago
2007
Springer
FCT
1995
Springer
15 years 3 months ago
1995
Springer
85
Voted
REX
1991
15 years 3 months ago
1991