dblp.uni-trier.dewww.uni-trier.de

Lindsay Errington Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
4EELindsay Errington: On the Semantics of Message Passing Processes. Electr. Notes Theor. Comput. Sci. 29: (1999)
1994
3 David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320
1993
2 Lindsay Errington, Chris Hankin, Thomas P. Jensen: Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125
1 Lindsay Errington, Chris Hankin, Thomas P. Jensen: A Congruence for Gamma Programs. WSA 1993: 242-253

Coauthor Index

1David Clark [3]
2Chris Hankin [1] [2] [3]
3Thomas P. Jensen [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)