Search results for "communicating sequential processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
3	Lech Polkowski, Maria Semeniuk-Polkowska	Sets of Communicating Sequential Processes. A Topological Rough Set Framework.	KES	2004	DBLP DOI BibTeX RDF	exact sets of processes, constructive and non–destructive mappings on exact sets of processes, rough set theory, communicating sequential processes
3	Mark B. Josephs	Models for Data-Flow Sequential Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
3	Ad M. G. Peeters	Implementation of Handshake Components.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
3	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
3	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
2	Robert Charles Lange, Spiros Mancoridis	thr2csp: Toward Transforming Threads into Communicating Sequential Processes.	SCAM	2009	DBLP DOI BibTeX RDF	concurrency, reverse engineering, communicating sequential processes
2	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
2	Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe	On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Michael Goldsmith	Operational Semantics for Fun and Profit.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Jifeng He	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Carroll Morgan	Of Probabilistic Wp and SP-and Compositionality.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Mike Reed	Order, Topology, and Recursion Induction in CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Jan Peleska	Applied Formal Methods - From CSP to Executable Hybrid Specifications.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	A. W. Roscoe	Seeing Beyond Divergence.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Peter H. Welch, Fred R. M. Barnes	Communicating Mobile Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	David May	CSP, occam and Transputers.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Jeff Magee, Jeff Kramer	Model-Based Design of Concurrent Programs.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Steve A. Schneider, Rob Delicata	Verifying Security Protocols: An Application of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Jonathan Lawrence	Practical Application of CSP and FDR to Software Design.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Michael J. Butler, C. A. R. Hoare, Carla Ferreira	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Sadie Creese	Industrial Strength CSP: Opportunities and Challenges in Model-Checking.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	Jim Davies, Charles Crichton	Concurrency and Refinement in the Unified Modeling Language.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Unified Modeling Language, Concurrency, Refinement, Object-oriented design, Object modelling, Communicating Sequential Processes
2	Hubert Garavel, Frédéric Lang	NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.	FORTE	2002	DBLP DOI BibTeX RDF
2	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Verifying Implementation Relations.	FME	2001	DBLP DOI BibTeX RDF	Behaviour ion, verification, compositionality, communicating sequential processes
2	Ali E. Abdallah, Mark Green	An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. (PDF / PS)	ICFEM	2000	DBLP DOI BibTeX RDF	performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms
2	Wenjun Li, Xiaocong Zhou, Shixian Li	The Typing of Communicating Sequential Processes.	TOOLS	1999	DBLP DOI BibTeX RDF	Type systems, Communicating Sequential Processes
2	Maciej Koutny, Giuseppe Pappalardo	A Model of Behaviour Abstraction for Communicating Processes.	STACS	1999	DBLP DOI BibTeX RDF	behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation
2	David Harel	Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research
2	Antti Valmari	Compositional State Space Generation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	analysis of behaviour of nets, compositionality, state space, Communicating Sequential Processes, system verification
2	Valérie Issarny	Design and Implementation of an Exception Handling Mechanism for Communicating Sequential Processes.	CONPAR	1990	DBLP DOI BibTeX RDF
2	Albert John Camilleri	Mechanizing CSP Trace Theory in Higher Order Logic.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanising CSP trace theory, general-purpose theorem prover, formal specification, theorem proving, formal logic, higher order logic, communicating sequential processes
2	Patrick M. Lenders	A Generalized Message-Passing Mechanism for Communicating Sequential Processes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives
2	Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu	A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection
2	John J. Zic	Extensions to communicating sequential processes to allow protocol performance specification.	Computer Communication Review	1987	DBLP DOI BibTeX RDF	CSP
2	Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe	A Theory of Communicating Sequential Processes.	J. ACM	1984	DBLP DOI BibTeX RDF	CSP
2	Krzysztof R. Apt, Nissim Francez, Willem P. de Roever	A Proof System for Communicating Sequential Processes.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
2	Richard B. Kieburtz, Abraham Silberschatz	Comments on ``Communicating Sequential Processes''.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
1	A. W. Roscoe, Jim Davies	CSP (Communicating Sequential Processes).	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1		Communicating Sequential Processes (CSP).	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Peter A. Beerel, Georgios D. Dimou, Andrew Lines	Proteus: An ASIC Flow for GHz Asynchronous Designs.	IEEE Design & Test of Computers	2011	DBLP DOI BibTeX RDF	slack matching, asynchronous place and route, high performance, design and test, communicating sequential processes, asynchronous design
1	Peter Grogono, Nima Jafroodi	A fair protocol for non-deterministic message passing.	C3S2E	2010	DBLP DOI BibTeX RDF	communication, concurrency, fairness, message passing, deadlock
1	John D. Carter, William B. Gardner, Gary Gréwal	The pilot library for novice MPI programmers.	PPOPP	2010	DBLP DOI BibTeX RDF	cluster programming, c, high-performance computing, deadlock detection, mpi, collective operations
1	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu	Formal Analysis of Services Compatibility.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Ali Nasrat Haidar, Ali E. Abdallah	Abstractions of Web Services.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Maxwell N. Krohn, Eran Tromer	Noninterference for a Practical DIFC-Based Operating System.	IEEE Symposium on Security and Privacy	2009	DBLP DOI BibTeX RDF
1	Leo Freitas, Jim Woodcock	FDR Explorer.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
1	Pranav Vaidya, Jaehwan John Lee, Xiang Xiao	Multiprocessor Simulation Using Communicating Sequential Processes.	MSV	2008	DBLP BibTeX RDF
1	Jinzhao Wu, Shihan Yang	Timed CSP for Safety Specification of Hybrid System.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace	FlexPar: Reconfigurable Middleware for Parallel Environments.	ISORC	2008	DBLP DOI BibTeX RDF
1	Peter Y. H. Wong, Jeremy Gibbons	Verifying Business Process Compatibility (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	compatibility verification, model checking, refinement, CSP, business process modelling
1	Olaf Muliawan	Extending a Model Transformation Language Using Higher Order Transformations.	WCRE	2008	DBLP DOI BibTeX RDF
1	Peter Y. H. Wong, Jeremy Gibbons	A Process Semantics for BPMN.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Andreas Witzel	Symmetric and Synchronous Communication in Peer-to-Peer Networks.	MPC	2008	DBLP DOI BibTeX RDF
1	Jean-Pierre Queille, Joseph Sifakis	Specification and Verification of Conurrent Systems in Cesar.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
1	John D. Carter, William B. Gardner	Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.	ISSE	2008	DBLP DOI BibTeX RDF
1	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
1	John Markus Bjørndalen, Brian Vinter, Otto J. Anshus	PyCSP - Communicating Sequential Processes for Python.	CPA	2007	DBLP BibTeX RDF
1	David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç	Specifying and analyzing security automata using CSP-OZ.	ASIACCS	2007	DBLP DOI BibTeX RDF	CSP-OZ, security automata
1	Sudipta Kundu, Sorin Lerner, Rajesh Gupta	Automated refinement checking of concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
1	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP DOI BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
1	Hyun Seok Kim, Jin-Young Choi	The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	Model Checking, RFID, Authentication Protocol
1	John D. Carter, William B. Gardner	Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.	SEW	2007	DBLP DOI BibTeX RDF
1	Wilson Ifill, Steve A. Schneider, Helen Treharne	Augmenting B with Control Annotations.	B	2007	DBLP DOI BibTeX RDF
1	Yifeng Chen	Inheriting Laws for Processes with States.	IFM	2007	DBLP DOI BibTeX RDF
1	Issam W. Damaj	Parallel Algorithms Development for Programmable Devices with Application from Cryptography.	International Journal of Parallel Programming	2007	DBLP DOI BibTeX RDF	Parallel algorithms, methodologies, formal models, data encryption, gate array
1	Issam Damaj	Higher-Level Hardware Synthesis of the KASUMI Algorithm.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	parallel algorithms, methodology, formal models, data encryption, gate array
1	Ilias Sakellariou, Ioannis P. Vlahavas, Ivan Futó, Zoltán Pásztor, János Szeredi	Communicating sequential processes for distributed constraint satisfaction.	Inf. Sci.	2006	DBLP DOI BibTeX RDF
1	John D. Carter, William B. Gardner	A Formal CSP Framework for Message-Passing HPC Programming.	CCECE	2006	DBLP DOI BibTeX RDF
1	Wing Lok Yeung	Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.	ECOWS	2006	DBLP DOI BibTeX RDF	Choreography description language, model checking, formal methods, CSP, business process execution language
1	Johannes Faber, Roland Meyer	Model Checking Data-Dependent Real-Time Properties of the European Train Control System.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Wing Lok Yeung, Ji Wang, Wei Dong	Verifying Choreographic Descriptions of Web Services Based on CSP.	SCW	2006	DBLP DOI BibTeX RDF
1	Siraj A. Shaikh, Christos K. Dimitriadis	Analysing a Biometric Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions.	SPC	2006	DBLP DOI BibTeX RDF
1	Peter Niebert, Doron Peled	Efficient Model Checking for LTL with Partial Order Snapshots.	TACAS	2006	DBLP DOI BibTeX RDF
1	Jochen Malte Küster	Definition and validation of model transformations.	Software and System Modeling	2006	DBLP DOI BibTeX RDF
1	Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen	Compositional specification of commercial contracts.	STTT	2006	DBLP DOI BibTeX RDF
1	Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)	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	25 Years CSP	2005	DBLP BibTeX RDF
1	William B. Gardner	Converging CSP specifications and C++ programming via selective formalism.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	hardware/software codesign, Executable specifications, object-oriented application frameworks
1	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
1	Nimal Nissanke	Component Security - Issues and an Approach.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Denis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner	A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture.	ECBS	2005	DBLP DOI BibTeX RDF
1	Brian Kahne, Aseem Gupta, Peter Wilson, Nikil D. Dutt	An Introduction to the Plasma Language.	MTV	2005	DBLP DOI BibTeX RDF
1	Hui Shi, Robert J. Ross, John A. Bateman	Formalising Control in Robust Spoken Dialogue Systems.	SEFM	2005	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek	Process algebra and constraint programming for modeling interactions in MAS.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
1	Marcel Oliveira, Ana Cavalcanti, Jim Woodcock	Formal development of industrial-scale systems in Circus.	ISSE	2005	DBLP DOI BibTeX RDF	Concurrency, Object-orientation, Refinement, Program development
1	Lech Polkowski, Maria Semeniuk-Polkowska	Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	David W. Nellans, Vamshi Krishna Kadaru, Erik Brunvand	ARCS: an architectural level communication driven simulator.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	Java, asynchronous communication, architectural simulation
1	Frantisek Scuglik	Formal Specification of Shared Variables Using CSP.	ECBS	2004	DBLP DOI BibTeX RDF
1	Philippa J. Hopcroft, Guy H. Broadfoot	Combining the Box Structure Development Method and CSP.	ASE	2004	DBLP DOI BibTeX RDF
1	Jim Davies	Using CSP.	PSSE	2004	DBLP DOI BibTeX RDF
1	Arash Saifhashemi, Hossein Pedram	Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction.	DAC	2003	DBLP DOI BibTeX RDF	CHP, PLI, CSP, asynchronous circuits, channel, verilog
1	William B. Gardner	Bridging CSP and C++ with Selective Formalism and Executable Specifications.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Reiko Heckel, Hendrik Voigt	Model-Based Development of Executable Business Processes for Web Services.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
1	Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	Process Algebra for Agent Communication: A General Semantic Approach.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF