Bisimulations for Asynchronous Mobile Processes

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Proceedings of Tbilisi Symposium on Language, Logic, and Computation
Publication date	1995
Publication status	Published - 1995
Event	Tbilisi Symposium on Language, Logic, and Computation - Tbilisi, Georgia Duration: 19 May 2010 → …

Conference	Tbilisi Symposium on Language, Logic, and Computation
Country/Territory	Georgia
City	Tbilisi
Period	19/05/2010 → …

AUB Link

@inproceedings{14007fc09c2d11db8ed6000ea68e967b,

title = "Bisimulations for Asynchronous Mobile Processes",

author = "Martin Hansen and Hans H{\"u}ttel and Josva Kleist",

year = "1995",

language = "English",

booktitle = "Proceedings of Tbilisi Symposium on Language, Logic, and Computation",

note = "Tbilisi Symposium on Language, Logic, and Computation ; Conference date: 19-05-2010",

}