Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

29

BANFF
1995

favoriteEmaildiscussreport

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

14 years 2 months ago

Specification Structures and Propositions-as-Types for Concurrency

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Real-time Traffic

BANFF 1995 | Distributed And Parallel Computing |

claim paper

Related Content

» GCCS A Graphical Coordination Language for System Specification

» Structuring RealTime ObjectZ Specifications

» Composable specifications for structured sharedmemory communication

» Synthesis of Embedded Software Using FreeChoice Petri Nets

» Dynamic scheduling and synchronization synthesis of concurrent digital systems under syste...

» Overcoming Heterophobia Modeling Concurrency in Heterogeneous Systems

» Structural Refinement in ObjectZCSP

» Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from...

» Notations for the Specification and Verification of Composite Web Services

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1995
Where	BANFF
Authors	Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Comments (0)