141
click to vote
FOSSACS
15 years 10 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...
133
click to vote
FOSSACS
15 years 10 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...
123
click to vote
FOSSACS
15 years 10 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...
125
click to vote
FOSSACS
15 years 10 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...
142
click to vote
FOSSACS
15 years 10 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