660 search results - page 75 / 132 » The Implicit Calculus of Constructions |
112
click to vote
ENTCS
2007
15 years 23 days ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
117
Voted
WIAS
2008
15 years 21 days ago
2008
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
93
Voted
IANDC
2010
14 years 11 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
93
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
203
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...