713 search results - page 58 / 143 » Viewcharts: Syntax and Semantics |
142
click to vote
GPCE
2003
Springer
15 years 9 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
138
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
166
click to vote
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
167
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
252
click to vote
ENTCS
2002
15 years 4 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...