A Failure Set Semantics for π-calculus

Research output: Contribution to journalArticle

Original languageEnglish
Journal11th Conference Proceedings Japan Society for Software Science and Technology
Publication statusPublished - 1994

Cite this

@article{41fe1433849a46ce96f0deadfe2940a1,
title = "A Failure Set Semantics for π-calculus",
author = "Masaki Murakami",
year = "1994",
language = "English",
journal = "11th Conference Proceedings Japan Society for Software Science and Technology",

}

TY - JOUR

T1 - A Failure Set Semantics for π-calculus

AU - Murakami, Masaki

PY - 1994

Y1 - 1994

M3 - Article

JO - 11th Conference Proceedings Japan Society for Software Science and Technology

JF - 11th Conference Proceedings Japan Society for Software Science and Technology

ER -