![Logic in computer science / Programming language semantics / Process calculi / Process calculus / Denotational semantics / Divergence / Formal methods / Ease / Trace / Computing / Theoretical computer science / Software engineering Logic in computer science / Programming language semantics / Process calculi / Process calculus / Denotational semantics / Divergence / Formal methods / Ease / Trace / Computing / Theoretical computer science / Software engineering](https://www.pdfsearch.io/img/57cd84a429a94d747e6caf81584467f6.jpg)
| Document Date: 2014-11-17 14:56:11 Open Document File Size: 348,92 KBShare Result on Facebook
Company Ana Cavalcanti / Abc / / Country Brazil / / / Facility University of York / / IndustryTerm precise and correct software development / action systems / / NaturalFeature Jim Woodcock channel / / Organization Comm CParameter Command / Universidade Federal do Rio Grande do Norte / UTP CSP / University of York / / Person Marcel Oliveira / Ana Cavalcanti / Jim Woodcock / / Position refinement editor / guard / model the communication / model for our theory / / Product CircusPar / ProofPower / Ul / / ProgrammingLanguage Z notation / / Technology simulation / /
SocialTag |