1788 search results - page 10 / 358 » Model Theory for Process Algebra |
125
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
138
Voted
UTP
2010
15 years 12 days ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
127
click to vote
QEST
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
110
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
112
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...