21 search results - page 2 / 5 » Toy(FD): Sketch of Operational Semantics |
CSSE
2008
IEEE
14 years 13 days ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
ENTCS
2007
13 years 5 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
TCS
2008
13 years 5 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...
TYPES
2007
Springer
14 years 2 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
Information processing operations in support of intelligence analysis are of two kinds. They may sift relevant data from a larger body, thus reducing its quantity, or sort that dat...