A non-interleaving semantics of concurrent processes with name passing

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)45-58
Number of pages14
JournalComputer Software
Volume17
Issue number1
Publication statusPublished - Dec 1 2000

ASJC Scopus subject areas

  • Software

Cite this