Back to Results
First PageMeta Content
Boolean algebra / Mathematical logic / Communicating sequential processes / Process calculus / Circus / Process calculi


hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York
Add to Reading List

Document Date: 2013-02-26 07:24:06

Open Document

File Size: 926,76 KB

Share Result on Facebook

Facility

Computer Science University of York February / /

Organization

Ana Cavalcanti Department / University of York / /

Person

Adnan Sherif / Jim Woodcock / Ana Cavalcanti / /

Position

Skip RT / RT / hb / /

ProgrammingLanguage

Ada / /

SocialTag