Towards a mathematical operational semantics 论文

2002引用 369
DOIPDF
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeDistributed systems and fault tolerance
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsDistributed systems and fault tolerance
关系图谱

Towards a mathematical operational semantics · 作者

G

Gordon Plotkin

D

Daniele Turi