|
4
|
Concrete Data Structures and Functional Parallel Programming
– Gaétan Hains, Frédéric Loulergue, John Mullins
- 1997
|
|
8
|
Topology, Domain Theory and Theoretical Computer Science
– Michael W. Mislove
- 1997
|
|
|
Polymorphic Subtyping: A Semantic Perspective based on Abstract Interpretation (Extended Abstract)
– B. Monsuez
|
|
1
|
The Varieties of Programming Language Semantics And Their Uses
– Peter D. Mosses
- 2001
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
8
|
Precise Interprocedural Dependence Analysis of Parallel Programs
– Markus Müller-Olm
- 2002
|
|
1
|
Notes on Discrete Mathematics for Computer Scientists
– James Caldwell
- 2003
|
|
86
|
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
– Patrick Cousot
- 2002
|
|
|
Semantic Analysis of a Concurrent Pascal (Extended Abstract)
– Régis Cridlig
|
|
5
|
Categorical Models for Concurrency: Independence, Fairness and Dataflow
– Thomas Troels Hildebrandt
- 2000
|
|
21
|
Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking
– Régis Cridlig
- 1995
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
|
Software Development for High Performance Computing
– Teodor A. Rus, Arthur C. Fleck
|
|
7
|
Semantics and Analysis of Linda-based languages
– Régis Cridlig, Eric Goubault
- 1993
|
|
1
|
An Automata based Model for the Implementation of a TTCN Simulator
– Jens Grabowski
- 1996
|
|
1
|
A Theory for Simulator Tools
– Henri P. Korver, Henri Korver
- 1992
|
|
2
|
An Interface Implementation using a Formal Compiler Specification Method
– Vladimir Levin, Eleonora Bounimova, Kemal Inan
- 1995
|
|
8
|
Decidability Issues for Infinite-State Processes - a Survey
– Søren Christensen, Datalogisk Afdeling, Ny Munkegade, Hans Hüttel, Afdeling For, Matematik Og Datalogi, Aalborg Universitetscenter
- 1996
|
