Mobile Calculi based on Domains


Denotational Testing Semantics in Coinductive Form

M. Boreale and F. Gadduoci

Abstract

Building on recent work by Rutten on coinduction and formal power series, we define a denotational semantics for the {\sc csp} calculus and prove it fully abstract for testing equivalence. The proposed methodology allows for abstract definition of operators in terms of {\em behavioural differential equations} and for coinductive reasoning on them, additionally dispensing with continuous order-theoretic structures.

@InProceedings\{boreale.gadduoci:denotational-testing-semantics-coinductive,
  author = \{M. Boreale and F. Gadduoci},
  title = \{Denotational Testing Semantics in Coinductive Form},
  booktitle = \{Proc. of MFCS 2003},
  year = \{2003}, 
  volume = \{2747}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{http://mikado.di.fc.ul.pt/repository/boreale.gadduoci_denotational-testing-semantics-coinductive.ps}
}


About this site. Last modified: Wed Nov 22 08:33:32 CET 2017