946 search results - page 125 / 190 » Process Algebra and Non-Interference |
112
Voted
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
120
Voted
MKM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
139
Voted
ICSOC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
133
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
124
Voted
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...