Open AccessTowards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems
Author(s) -
Muhua Zhu,
Jing Li
Publication year - 2018
Publication title -
journal of computer and communications
Language(s) - English
Resource type - Journals
eISSN - 2327-5227
pISSN - 2327-5219
DOI - 10.4236/jcc.2018.611022
Subject(s) - computer science , consistency (knowledge bases) , programming language , communicating sequential processes , process (computing) , construct (python library) , concurrent engineering , process calculus , software engineering , semantics (computer science) , engineering , operational semantics , artificial intelligence , process integration , process engineering