1805 search results - page 144 / 361 » A Theory of Closure Operators |
115
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
115
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
160
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
121
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
125
click to vote
ROOM
2000
15 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...