A Translation of the Pi-Caculus Into MONSTR

Richard Banach, J Balazs, G Papadoupolous

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	339-398
Number of pages	60
Journal	Journal of Universal Computer Science
Volume	1
Issue number	6
Publication status	Published - 1995

Access to Document

@article{c3f6209e3eee470f9a6c462bf36aac1d,

title = "A Translation of the Pi-Caculus Into MONSTR",

author = "Richard Banach and J Balazs and G Papadoupolous",

year = "1995",

language = "English",

volume = "1",

pages = "339--398",

journal = "Journal of Universal Computer Science ",

issn = "0948-6968",

publisher = "Technische Universit{\"a}t Graz, Institut f{\"u}r Informationssysteme und Computer Medien",

number = "6",

}