Bigraphical Reactive Systems 论文

2001Lecture notes in computer science引用 381
DOI
Logic, programming, and type systemsLogic, Reasoning, and Knowledgesemigroups and automata theory
Logic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theory
关系图谱

Bigraphical Reactive Systems · 作者

R

Robin Milner