3307 search results - page 178 / 662 » The meaning of concurrent programs |
126
Voted
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, we present our current work on a UML based environment providing efficient means for system
128
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
125
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
FMOODS
2007
15 years 5 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
149
click to vote
FUIN
2002
15 years 3 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...