Search results for "precongruence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence formats for decorated trace semantics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Decorated trace semantics, precongruence
58	Flavio Corradini, Walter Vogler, Lars Jenner	Comparing the worst-case efficiency of asynchronous systems with PAFAS.	Acta Informatica	2002	DBLP DOI BibTeX RDF
58	Roberto Segala	A Compositional Trace-Based Semantics for Probabilistic Automata.	CONCUR	1995	DBLP DOI BibTeX RDF
53	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence Formats for Decorated Trace Preorders.	LICS	2000	DBLP DOI BibTeX RDF	semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics
53	Anna Ingólfsdóttir, Andrea Schalk	A Fully Abstract Denotational Model for Observational Precongruence.	CSL	1995	DBLP DOI BibTeX RDF
38	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	Ready to Preorder: Get Your BCCSP Axiomatization for Free!	CALCO	2007	DBLP DOI BibTeX RDF
38	Augusto Parma, Roberto Segala	Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.	QEST	2004	DBLP DOI BibTeX RDF
38	Ronald W. Brower, Kenneth S. Stevens	Congruent Weak Conformance, a Partial Order among Processes.	FORTE	2002	DBLP DOI BibTeX RDF
38	Faron Moller, Chris M. N. Tofts	Relating Processes With Respect to Speed.	CONCUR	1991	DBLP DOI BibTeX RDF
33	Wan J. Fokkink, Rob J. van Glabbeek	Precongruence Formats with Lookahead through Modal Decomposition.	CSL	2017	DBLP DOI BibTeX RDF
33	Xiaowei Huang 0001, Li Jiao, Weiming Lu	A precongruence format for should testing preorder.	J. Log. Algebraic Methods Program.	2010	DBLP DOI BibTeX RDF
33	Antti Siirtola, Juha Kortelainen	Parameterised Process Algebraic Verification by Precongruence Reduction.	ACSD	2009	DBLP DOI BibTeX RDF	parameterised verification, process algebra, refinement checking
33	Matthias Mann 0001	A non-deterministic call-by-need lambda calculus: proving similarity a precongruence by an extension of Howe's method to sharing.		2005	RDF
33	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence Formats for Decorated Trace Semantics	CoRR	2002	DBLP BibTeX RDF
33	Anna Ingólfsdóttir, Andrea Schalk	A fully abstract denotational model for observational precongruence.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
33	Wan J. Fokkink	Language preorder as a precongruence.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
33	S. Arun-Kumar, V. Natarajan	Conformance: A Precongruence close to Bisimilarity.	STRICT	1995	DBLP DOI BibTeX RDF
19	Cosimo Laneve, Luca Padovani	The Must Preorder Revisited.	CONCUR	2007	DBLP DOI BibTeX RDF
19	Gerald Lüttgen, Walter Vogler	Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics.	FoSSaCS	2006	DBLP DOI BibTeX RDF
19	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: A Unified Approach.	FoSSaCS	2005	DBLP DOI BibTeX RDF
19	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
19	Bartek Klin, Pawel Sobocinski 0001	Syntactic Formats for Free.	CONCUR	2003	DBLP DOI BibTeX RDF
19	Walter Vogler	Efficiency of Asynchronous Systems That Communicate Asynchronously.	ICATPN	2000	DBLP DOI BibTeX RDF
19	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou	Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.	FTRTFT	2000	DBLP DOI BibTeX RDF
19	Martin Weichert	Pipelining the Molecule Soup: A Plumber's Approach to Gamma.	COORDINATION	1999	DBLP DOI BibTeX RDF
19	Lars Jenner, Walter Vogler	Comparing the Efficiency of Asynchronous Systems.	ARTS	1999	DBLP DOI BibTeX RDF
19	Peter Sewell	On Implementations and Semantics of a Concurrent Programming Language.	CONCUR	1997	DBLP DOI BibTeX RDF
19	Susanne Graf, Claire Loiseaux	Property Preserving Abstractions under Parallel Composition.	TAPSOFT	1993	DBLP DOI BibTeX RDF
19	Luca Aceto, Uffe Engberg	Failures Semantics for a Simple Process Language with Refinement.	FSTTCS	1991	DBLP DOI BibTeX RDF
19	Robin Milner	Functions as Processes.	ICALP	1990	DBLP DOI BibTeX RDF
19	Rance Cleaveland, Bernhard Steffen	A Preorder for Partial Process Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF