DSVIS
2005
Springer
13 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
SAC
2005
ACM
13 years 10 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
TABLEAUX
2007
Springer
13 years 10 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
FSEN
2009
Springer
13 years 11 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 ...
Book
"I wrote this text for a one semester course at the sophomore-junior level. Our experience with
students taking our junior physics courses is that even if they've had th...