Search results for "Failures-divergences"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Relational concurrent refinement part II: Internal operations and outputs.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
68	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness
42	Christie Bolton, Jim Davies	Refinement in Object-Z and CSP.	IFM	2002	DBLP DOI BibTeX RDF
38	Mark B. Josephs	Models for Data-Flow Sequential Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
34	Mike Reed	Order, Topology, and Recursion Induction in CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
34	Jim Woodcock 0001, Carroll Morgan	Refinement of State-Based Concurrent Systems.	VDM Europe	1990	DBLP DOI BibTeX RDF
30	Mark B. Josephs	An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits.	ASYNC	2003	DBLP DOI BibTeX RDF
17	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
17	Mark B. Josephs	Gate-level modelling and verification of asynchronous circuits using CSPM and FDR.	ASYNC	2007	DBLP DOI BibTeX RDF
17	Thomas Ruhroth, Heike Wehrheim	Refactoring Object-Oriented Specifications with Data and Processes.	FMOODS	2007	DBLP DOI BibTeX RDF
17	A. W. Roscoe 0001	On the expressive power of CSP refinement.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Refinement, Topology, CSP, Full abstraction
17	Steve Dunne, Stacey Conroy	Process Refinement in B.	ZB	2005	DBLP DOI BibTeX RDF
17	Ana Cavalcanti 0001, Jim Woodcock 0001	A Tutorial Introduction to CSP in Unifying Theories of Programming.	PSSE	2004	DBLP DOI BibTeX RDF
17	Antti Puhakka	Weakest Congruence Results Concerning "Any-Lock".	TACS	2001	DBLP DOI BibTeX RDF
17	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
17	K. Narayan Kumar, Paritosh K. Pandya	ICSP and Its Relationship with ACSP and CSP.	FSTTCS	1993	DBLP DOI BibTeX RDF
17	A. W. Roscoe 0001, Geoff Barrett	Unbounded Nondeterminism in CSP.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF