Searching for authors named "Mads Dam" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
On Adaptable Support for Cooperative Work
- …On Adaptable Support for Cooperative Work Mads Dam 1 Swedish Institute for Computer Science 1…
- Add To MetaCart
-
Compositional Verification of Mobile Process Networks
- …Compositional Verification of Mobile Process Networks Mads Dam Swedish Institute of Computer…
- Add To MetaCart
-
Modalities in Analysis and Verification
- …Modalities in Analysis and Verification Mads Dam Swedish Institute of Computer Science January 1…
- Add To MetaCart
-
Foundations of Compositional Verification Project Plan
- …Foundations of Compositional Verification Project Plan Mads Dam SICS, Box 1263 164 28 Kista…
- Add To MetaCart
-
Proving Trust in Systems of Second-Order Processes: Preliminary results
- …Proving Trust in Systems of Second-Order Processes: Preliminary results Mads Dam Swedish…
- Cited by 14 (1 self) – Add To MetaCart
-
On the Decidability of Process Equivalences for the pi-calculus
- …On the Decidability of Process Equivalences for the ��-calculus Mads Dam 1 Swedish Institute…
- Cited by 1 (0 self) – Add To MetaCart
-
Model Checking Mobile Processes
- …Model Checking Mobile Processes Mads Dam y Swedish Institute of Computer Science Box 1263 S-164…
- Cited by 55 (11 self) – Add To MetaCart
-
Proving Properties of Dynamic Process Networks
- …Proving Properties of Dynamic Process Networks Mads Dam Swedish Institute of Computer Science…
- Cited by 16 (8 self) – Add To MetaCart
-
Compositional Proof Systems for Model Checking Infinite State Processes
- …Compositional Proof Systems for Model Checking Infinite State Processes Mads Dam ? SICS, Box 1263…
- Cited by 15 (3 self) – Add To MetaCart
-
Proof Systems for pi-Calculus Logics
- …Proof Systems for -Calculus Logics Mads Dam Dept. of Teleinformatics, Royal Institute…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
