Chunhan Wu

Available identifiers

zbMath Open wu.chunhanMaRDI QIDQ2303233

List of research outcomes

Publication	Date of Publication	Type
Priority inheritance protocol proved correct	2020-03-03	Paper
A formalisation of the Myhill-Nerode theorem based on regular expressions	2015-06-23	Paper
A Formal Model and Correctness Proof for an Access Control Policy Framework	2015-01-13	Paper
Priority Inheritance Protocol Proved Correct	2012-09-20	Paper
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)	2011-08-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chunhan Wu