166
click to vote
FOSSACS
15 years 11 months ago
2005 Springer 
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
153
Voted
FOSSACS
15 years 11 months ago
2005 Springer 
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
146
click to vote
FOSSACS
15 years 11 months 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...
148
click to vote
FOSSACS
15 years 11 months ago
2005 Springer 
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
161
click to vote
FOSSACS
15 years 11 months ago
2005 Springer 
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
|
Software Engineering