A compliance notation for verifying concurrent systems
Proceedings of the 24th International Conference on Software Engineering
Multilevel Testing for Design Verification of Embedded Systems
IEEE Design & Test
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
Mathematical Models of Computer Security
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Probabilistic Information Flow in a Process Algebra
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Modelling Coordinated Atomic Actions in Timed CSP
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Principled Semantics for inp
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Information Flow Control and Applications - Bridging a Gap
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Verifying authentication protocol implementations
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Process Algebra and Non-interference
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Strand Spaces and Rank Functions: More than Distant Cousins
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
A process-algebraic approach for the analysis of probabilistic noninterference
Journal of Computer Security
Synthesis of C++ software for automated teller from CSPm specifications
Proceedings of the 2005 ACM symposium on Applied computing
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
A decision procedure for the existence of a rank function
Journal of Computer Security
Towards a unified formal model for supporting mechanisms of dynamic component update
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A brief history of process algebra
Theoretical Computer Science - Process algebra
Reasoning about XACML policies using CSP
Proceedings of the 2005 workshop on Secure web services
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Process Algebras for Network Communication
Fundamenta Informaticae
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Defining information flow quantity
Journal of Computer Security - Special issue on CSFW15
Symmetric and Synchronous Communication in Peer-to-Peer Networks
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Automatic Generation of CSP || B Skeletons from xUML Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Specifying and Verifying Event-Based Fairness Enhanced Systems
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
High level specification of non-interference security policies in partitioned MLS systems
CNIS '07 Proceedings of the Fourth IASTED International Conference on Communication, Network and Information Security
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
The Denotational Semantics of slotted-Circus
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Applying Formal Verification Techniques to Ambient Assisted Living Systems
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On Timed Models and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Composing specifications using communication
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
The φ-calculus: a language for distributed control of reconfigurable embedded systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
New paradigm of inference control with trusted computing
Proceedings of the 21st annual IFIP WG 11.3 working conference on Data and applications security
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Timed calculus of cryptographic communication
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
A theorem-proving approach to verification of fair non-repudiation protocols
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
A denotational semantics for Handel-C
Formal methods and hybrid real-time systems
An approach for machine-assisted verification of Timed CSP specifications
Innovations in Systems and Software Engineering
Real-time web services orchestration and choreography
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A CSP approach to control in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
The VATES-diamond as a verifier's best friend
Verification, induction termination analysis
The VATES-diamond as a verifier's best friend
Verification, induction termination analysis
Formal development of a cardiac pacemaker: from specification to code
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
Expert Systems with Applications: An International Journal
FM'11 Proceedings of the 17th international conference on Formal methods
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
A design-for-verification framework for a configurable performance-critical communication interface
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Conceptual framework for business processes compositional verification
Information and Software Technology
Towards a practical approach to check UML/fUML models consistency using CSP
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A formal approach to analysing knowledge transfer processes in developing countries
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Bounded Retransmission in Event-B||CSP: a Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Specifying authentication using signal events in CSP
CISC'05 Proceedings of the First SKLOIS conference on Information Security and Cryptology
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Operational semantics for model checking circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A step towards merging xUML and CSP || B
Rigorous Methods for Software Construction and Analysis
Augmenting b with control annotations
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Automatic translation from combined B and CSP specification to java programs
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Verifying security protocols: an application of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Applied formal methods – from CSP to executable hybrid specifications
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Chunks: component verification in CSP ∥ b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Embedding the stable failures model of CSP in PVS
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A formal approach for reasoning about a class of diffie-hellman protocols
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Towards verification of timed non-repudiation protocols
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Analysing a biometric authentication protocol for 3g mobile systems using CSP and rank functions
SPC'06 Proceedings of the Third international conference on Security in Pervasive Computing
An overview of the SystemB collaborative project
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Process Algebras for Network Communication
Fundamenta Informaticae
To boldly go: an occam-π mission to engineer emergence
Natural Computing: an international journal
An optimization approach for effective formalized fUML model checking
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Symbolic model-checking of stateful timed CSP using BDD and digitization
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
CSP-Based general detection model of network covert storage channels
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Attacks on Confidentiality of Communications Between Stranger Organizations
International Journal of Knowledge-Based Organizations
Theoretical Computer Science
Simulink timed models for program verification
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |
From the Publisher:The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analyzed and shown to be correct.This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together.Containing the following: -Exercises and solutions -Instructors resources - Example CSP programs to run on FDR and ProBe -Links to useful sitesPartial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event-based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B:Model-checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes.