685 search results - page 79 / 137 » Closure Operators for Order Structures |
108
Voted
SDL
2001
15 years 3 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
126
Voted
RIVF
2003
15 years 3 months ago
2003
— This paper describes the design and implementation of a novel reliable multicast protocol, totally reliable and scalable to large number of receivers. MAF relies on Active Netw...
133
click to vote
ACTA
2005
15 years 2 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
116
click to vote
TCS
2008
15 years 2 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
157
click to vote
CL
2000
Springer
15 years 2 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...