7109 search results - page 329 / 1422 » Process Algebra with Combinators |
141
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
126
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
132
click to vote
CALCO
2007
Springer
15 years 11 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...
142
click to vote
MKM
2005
Springer
15 years 10 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 ...
163
click to vote
ICSOC
2005
Springer
15 years 10 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-...