Communicating sequential processes. The first 25 years symposium on the occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Abdallah, Ali E., Sanders, Jeff W., Jones, Cliff B. |
Format: | eBook |
Language: | English |
Published: |
Berlin Heidelberg
Springer-Verlag
2005
|
Series: | Lecture Notes in Computer Science,
3525 |
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Verification of sequential and concurrent programs
by: Apt, Krzysztof R.
Published: (2009) -
A 25-year perspective on logic programming achievements of the Italian association for logic programming, GULP /
Published: (2010) -
Combinational and sequential logic : a hands-on approach using programmable logic /
by: Rice, Martin -
Combinational and sequential logic
by: Rice, Martin
Published: (2001) -
Combinational and sequential logic
by: Rice, Martin
Published: (2001)