Search results for "Compositionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue	A Logical Interface Description Language for Components.	COORDINATION	2000	DBLP DOI BibTeX RDF
11	Jan Jürjens	Secure Information Flow for Concurrent Processes.	CONCUR	2000	DBLP DOI BibTeX RDF
11	Klaus-Dieter Schewe	Controlled Automation of Consistency Enforcement.	ASE	2000	DBLP DOI BibTeX RDF
11	Panagiotis Manolios	Correctness of Pipelined Machines.	FMCAD	2000	DBLP DOI BibTeX RDF
11	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
11	Javier Campos, Susanna Donatelli, Manuel Silva Suárez	Structured Solution of Asynchronously Communicating Stochastic Modules.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	performance analysis, Petri net models, Kronecker algebra, structural decomposition
11	Jørn Lind-Nielsen, Henrik Reif Andersen	Stepwise CTL Model Checking of State/Event Systems.	CAV	1999	DBLP DOI BibTeX RDF
11	Joseph Sifakis	The Compositional Specification of Timed Systems - A Tutorial.	CAV	1999	DBLP DOI BibTeX RDF
11	Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi	Abstract Syntax and Variable Binding.	LICS	1999	DBLP DOI BibTeX RDF	categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding
11	Dusko Pavlovic	Semantics of First Order Parametric Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
11	Carlo Montangero, Laura Semini	Composing Specifications for Coordination.	COORDINATION	1999	DBLP DOI BibTeX RDF
11	Rance Cleaveland	Temporal Process Logic (Abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
11	Pedro Resende	Modular Specification of Concurrent Systems with Observational Logic.	WADT	1998	DBLP DOI BibTeX RDF
11	Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann	M-net Calculus Based Semantics for Triggers.	ICATPN	1998	DBLP DOI BibTeX RDF
11	Jürgen Dingel	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.	AMAST	1998	DBLP DOI BibTeX RDF
11	Isabelle Tellier	Meaning Helps Learning Syntax.	ICGI	1998	DBLP DOI BibTeX RDF
11	Yonit Kesten, Amir Pnueli	Modularization and Abstraction: The Keys to Practical Formal Verification.	MFCS	1998	DBLP DOI BibTeX RDF
11	Ron van der Meyden, Yoram Moses	Top-Down Considerations on Distributed Computing.	DISC	1998	DBLP DOI BibTeX RDF
11	Anne-Marie Rassinoux, Robert H. Baud, Christian Lovis, Judith C. Wagner, Jean-Raoul Scherrer	Tuning Up Conceptual Graph Representation for Multilingual Natural Language Processing in Medicine (Research Note).	ICCS	1998	DBLP DOI BibTeX RDF
11	Roberto Giacobazzi	A Tutorial on Domain Theory in Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF
11	Martin Große-Rhode	Algebra Transformation Systems and their Composition.	FASE	1998	DBLP DOI BibTeX RDF
11	Manfred Broy	Compositional refinement of interactive systems.	J. ACM	1997	DBLP DOI BibTeX RDF	specification, refinement, interactive systems
11	Peter Achten, Marinus J. Plasmeijer	Interactive Functional Objects in Clean.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
11	Simin Nadjm-Tehrani	Time-Deterministic Hybrid Transition Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
11	Paolo Volpe	Abstractions of Uniform Proofs.	ALP	1996	DBLP DOI BibTeX RDF	uniform proofs, inference rule systems, abstract interpretation
11	Lihua Shi, Paddy Nixon	An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets.	FME	1996	DBLP DOI BibTeX RDF
11	Marco Bernardo 0001, Roberto Gorrieri	Extended Markovian Process Algebra.	CONCUR	1996	DBLP DOI BibTeX RDF
11	Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas	Refinement Mapping for General (Discrete Event) Systems Theory.	EUROCAST	1995	DBLP DOI BibTeX RDF
11	Ed Brinksma, Arend Rensink, Walter Vogler	Fair Testing.	CONCUR	1995	DBLP DOI BibTeX RDF
11	Robert de Simone, Annie Ressouche	Compositional Semantics of ESTEREL and Verification by Compositional Reductions.	CAV	1994	DBLP DOI BibTeX RDF
11	Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch	Liveness in Timed and Untimed Systems.	ICALP	1994	DBLP DOI BibTeX RDF
11	Ian T. Foster, Carl Kesselman	Language Constructs and Runtime Systems for Compositional Parallel Programming.	CONPAR	1994	DBLP DOI BibTeX RDF
11	Roberto Segala, Nancy A. Lynch	Probabilistic Simulations for Probabilistic Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
11	A. Udaya Shankar	An Introduction to Assertional Reasoning for Concurrent Systems.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
11	Cliff B. Jones	Reasoning about Interference in an Object-Based Design Method.	FME	1993	DBLP DOI BibTeX RDF
11	Cliff B. Jones	Constraining Inference in an Object-Based Design Model.	TAPSOFT	1993	DBLP DOI BibTeX RDF
11	Doron A. Peled, Mathai Joseph	A Compositional Approach for Fault-Tolerance Using Specification Transformation.	PARLE	1993	DBLP DOI BibTeX RDF
11	Florence Maraninchi	Operational and Compositional Semantics of Synchronous Automaton Compositions.	CONCUR	1992	DBLP DOI BibTeX RDF
11	Mounira Belmesk	A Process Semantics of Logic Programs.	RCLP	1991	DBLP DOI BibTeX RDF
11	Frank S. de Boer, Catuscia Palamidessi	A Fully Abstract Model for Concurrent Constraint Programming.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
11	Pierpaolo Degano, Roberto Gorrieri	Atomic Refinement in Process Description Languages.	MFCS	1991	DBLP DOI BibTeX RDF
11	Michael Merritt, Francesmary Modugno, Marc R. Tuttle	Time-Constrained Automata (Extended Abstract)	CONCUR	1991	DBLP DOI BibTeX RDF
11	Roope Kaivola, Antti Valmari	Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.	CONCUR	1991	DBLP DOI BibTeX RDF
11	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
11	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
11	Frank S. de Boer, Catuscia Palamidessi	On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.	CONCUR	1990	DBLP DOI BibTeX RDF	1987 Computing Reviews Categories D.1.3, D.3.1, F.1.2, F.3.2
11	Manuel Duque-Antón, M. Bretschneider	Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
11	Bengt Jonsson 0001	A Fully Abstract Trace Model for Dataflow Networks.	POPL	1989	DBLP DOI BibTeX RDF
11	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
11	Bengt Jonsson 0001, Joost N. Kok	Comparing Two Fully Abstract Dataflow Models.	PARLE (2)	1989	DBLP DOI BibTeX RDF
11	Jozef Hooman, Jennifer Widom	A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.	PARLE (2)	1989	DBLP DOI BibTeX RDF
11	Joost N. Kok	A Fully Abstract Semantics for Data Flow Nets.	PARLE (2)	1987	DBLP DOI BibTeX RDF
11	Mitchell Wand	A semantic prototyping system.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
11	Howard Barringer, Ruurd Kuiper 0001	Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF