2106 search results - page 49 / 422 » Operational Semantics for DyLPs |
124
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
152
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
108
click to vote
JCSS
2000
15 years 3 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
103
click to vote
IPL
1998
15 years 2 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
124
click to vote
IFM
1999
Springer
15 years 7 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...