Specification & Verification of Higher Order Processes

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	MFCS '90. Mathematical Foundations of Computer Science
Volume	452
Publication date	1990
Pages	322-328
Publication status	Published - 1990
Event	15th Symposium on Mathematical Foundations of Computer Science - Banská Bystrica, Slovakia Duration: 27 Aug 1990 → 31 Aug 1990 Conference number: 15

Conference	15th Symposium on Mathematical Foundations of Computer Science
Number	15
Country/Territory	Slovakia
City	Banská Bystrica
Period	27/08/1990 → 31/08/1990

OpenUrl availability

@inproceedings{a3188e06aefb4d87bb8a169cd2279139,

title = "Specification & Verification of Higher Order Processes",

author = "Hansen, {Michael Reichhardt} and Zhou Chaochen",

year = "1990",

language = "English",

volume = "452",

pages = "322--328",

booktitle = "MFCS '90. Mathematical Foundations of Computer Science",

note = "15th Symposium on Mathematical Foundations of Computer Science, MFCS90 ; Conference date: 27-08-1990 Through 31-08-1990",

}

TY - GEN

T1 - Specification & Verification of Higher Order Processes

AU - Hansen, Michael Reichhardt

AU - Chaochen, Zhou

N1 - Conference code: 15

PY - 1990

Y1 - 1990

M3 - Article in proceedings

VL - 452

SP - 322

EP - 328

BT - MFCS '90. Mathematical Foundations of Computer Science

T2 - 15th Symposium on Mathematical Foundations of Computer Science

Y2 - 27 August 1990 through 31 August 1990

ER -