477 search results - page 46 / 96 » Concurrent Pattern Calculus |
139
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
134
Voted
TCS
2008
15 years 4 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...
139
Voted
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
147
Voted
JIT
2004
Springer
15 years 10 months ago
2004
Springer
Software product lines have a demonstrated potential for cost-effective development of software families. Product lines have to support and coordinate variabilities between the di...
153
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...