<--- Back to Details
First PageDocument Content
Concurrent computing / Procedural programming languages / JCSP / Occam / Tencent QQ / Ion channel / Computing / Software / Biology
Date: 2009-02-16 07:54:49
Concurrent computing
Procedural programming languages
JCSP
Occam
Tencent QQ
Ion channel
Computing
Software
Biology

Microsoft PowerPoint - cpa2007-jcsp.ppt

Add to Reading List

Source URL: www.cs.kent.ac.uk

Download Document from Source Website

File Size: 499,53 KB

Share Document on Facebook

Similar Documents

Software architecture / Electronics / Communicating sequential processes / Process calculi / Electrical components / Passivity / Wright / Component-based software engineering / JCSP / Computing / Software engineering / Concurrent computing

A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk

DocID: 18HsD - View Document

Computer science / Logic in computer science / Formal methods / Programming language semantics / Denotational semantics / JCSP / Circus / Refinement calculus / Unifying Theories of Programming / Theoretical computer science / Computing / Concurrent computing

Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy

DocID: 13cI0 - View Document

Concurrent computing / JCSP / Librarian

Microsoft Word - November Conference 2013 brochure draft

DocID: 12mW9 - View Document

Security / Public safety / Computer crimes / National Cyber Security Division / Einstein / United States Computer Emergency Readiness Team / Cyber-security regulation / International Multilateral Partnership Against Cyber Threats / National Protection and Programs Directorate / United States Department of Homeland Security / Cyberwarfare / Computer security

Privacy Impact Assessment Update for the Joint Cybersecurity Services Program (JCSP), Defense Industrial Base (DIB) – Enhanced Cybersecurity Services (DECS)

DocID: u3sJ - View Document

Military history of Canada / Military / Canadian Forces College / Royal Canadian Air Force / Canada / JCSP / Concurrent computing / Canadian Forces / Military organization

PDF Document

DocID: gt8X - View Document