Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Process calculi / Process calculus / Denotational semantics / Divergence / Formal methods / Ease / Trace / Computing / Theoretical computer science / Software engineering


A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´
Add to Reading List

Document Date: 2014-11-17 14:56:11

Open Document

File Size: 348,92 KB

Share 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