2 papers
cs.LO2022
Covariant-Contravariant Refinement Modal -calculus
Huili Xing
The notion of covariant-contravariant refinement (CC-refinement, for short) is a generalization of the notions of bisimulation, simulation and refinement. This paper introduces CC-…
cs.AI2022
An extension of process calculus for asynchronous communications between agents with epistemic states
Huili Xing
It plays a central role in intelligent agent systems to model agent's epistemic state and its change. Asynchrony plays a key role in distributed systems, in which the messages tran…