195 search results - page 25 / 39 » Process Algebra with Nonstandard Timing |
CONCUR
1990
Springer
15 years 6 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
202
Voted
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
126
click to vote
TSE
2008
15 years 2 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
103
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
114
click to vote
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...