2148 search results - page 6 / 430 » Responsiveness in Process Calculi |
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
FOSSACS
2005
Springer
14 years 28 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
IJFCS
2007
13 years 7 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
ESOP
2005
Springer
14 years 28 days ago
2005
Springer