Search results for: Martin Abadi
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 12-26
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 72-90
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 25-41
Lecture Notes in Computer Science > ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 > Invited Talk > 145-167
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Security > 398-412
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 1-41
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 682-696
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 1-13
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 57-69
Lecture Notes in Computer Science > Object-Oriented Technology: ECOOP’98 Workshop Reader > 4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations > 291-291