The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "REX Workshop"( http://dblp.L3S.de/Venues/REX_Workshop )

URL (DBLP): http://dblp.uni-trier.de/db/conf/rex

Publication years (Num. hits)
1988 (22) 1989 (30) 1990-1991 (44) 1992 (26) 1993-1994 (2)
Publication types (Num. hits)
inproceedings(118) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 495 occurrences of 258 keywords

Results
Found 124 publication records. Showing 124 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (eds.) A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings Search on Bibsonomy REX Workshop The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (eds.) Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings Search on Bibsonomy REX Workshop The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten On Blocks: Locality and Asynchronous Communication (Extended Abstract). Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Parallelism, locality, asynchronous communication, block structure
1Viggo Stoltenberg-Hansen, John V. Tucker Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains
1J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (eds.) Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska Infinite Behaviour and Fairness in Concurrent Constraint Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fairness, liveness, semantic properties, concurrent constraint programming
1Eiichi Horita A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF local variables, local channels, concurrency, correctness, operational semantics, parameterization, metric spaces, denotational semantics, full abstraction, linear time, imperative languages, branching time, domain equations
1Flemming Nielson, Hanne Riis Nielson Layered Predicates. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations
1Andrea Corradini 0001, Andrea Asperti A Categorial Model for Logic Programs: Indexed Monoidal Categories. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Categorical Logic, Structured Transition Systems, Logic Programming, Category Theory, Model Theory
1Marcello M. Bonsangue, Joost N. Kok Semantics, Orderings and Recursion in the Weakest Precondition Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
1Michael W. Mislove, Frank J. Oles Full Abstraction and Unnested Recursion. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
1Frits W. Vaandrager Expressive Results for Process Algebras. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
1Anton Eliëns, Erik P. de Vink Asynchronous Rendez-vous in Distributed Logic Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF metric semantics, distributed logic programming, concurrency, continuations
1Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini A Categorial View of Process Refinement. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF concurrent programs, categories, event structures, true concurrency, Hierarchical specifications
1Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely A Hyperdoctrinal View of Concurrent Constraint Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations
1Éric Badouel, Philippe Darondeau Trace Nets. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Trace Automata, Trace Nets, Regions
1Abbas Edalat, Michael B. Smyth Compact Metric Information Systems (Extended Abstract). Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF metric information systems, strong inclusion, Stone duality, I-category, Cauchy chains, contracting functors, unique fixed point, domain equations
1Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer Towards an Epistemic Approach to Reasoning about Concurrent Programs. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF verification of distributed programs, Communicating Sequential Processes, logics of knowledge, semantics of concurrency
1Ralph-Johan Back, Joakim von Wright Predicate Transformers and Higher Order Logic. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
1Wim H. Hesselink, Ronald Reinds Temporal Preconditions of Recursive Procedures. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
1Jan J. M. M. Rutten, Daniele Turi On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
1Peter D. Mosses On the Action Semantics of Concurrent Programming Languages. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics
1Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Sam Weber, Bard Bloom, Geoffrey Brown Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rob T. Udink, Joost N. Kok On the Relation Between Unity Properties and Sequences of States. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Semantic models - Unity, program refinement
1Bent Thomsen, Lone Leth Thomsen, Alessandro Giacalone Some Issues in the Semantics of Facile Distributed Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Theory of Concurrency, Distributed Computing, Programming Languages, Functional Programming, Time, Failure, Programming Language Semantics
1Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli New Semantic Tools for Logic Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF logic programming, operational semantics, declarative semantics
1Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl Proving Total Correctness of Programs in Weak Second-Order Logic. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
1Angelo Morzenti Validating Real-Time Systems by Executing Logic Specifications. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics
1Xavier Nicollin, Joseph Sifakis, Sergio Yovine From ATP to Timed Graphs and Hybrid Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF specification of timed systems, real-time, hybrid systems, process algebra, timed graphs
1Martín Abadi, Leslie Lamport An Old-Fashioned Recipe for Real Time. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jonathan S. Ostroff Verification of Safety Critical Systems Using TTM/RTTL. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Verification, Timed Transition Systems, Real-time Temporal Logic
1Nancy A. Lynch, Frits W. Vaandrager Forward and Backward Simulations for Timing-Based Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations
1E. Allen Emerson Real-Time and the Mu-Calculus (Preliminary Report). Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe 0001 Timed CSP: Theory and Practice. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software
1Frédéric Rocheteau, Nicolas Halbwachs Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Reactive systems, synchronous languages, silicon compilation
1Michael R. Hansen, Zhou Chaochen Semantics and Completeness of Duration Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic
1Cornelis Huizing, Rob Gerth Semantics of Reactive Systems in Abstract Time. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Real-time, semantics, specification, Statecharts, reactive systems
1Fred B. Schneider, Bard Bloom, Keith Marzullo Putting Time into Proof Outlines. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
1Ron Koymans (Real) Time: A Philosophical Perspective. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF models of time, time measurement, real-time, temporal logic, time
1Tommaso Bolognesi, Ferdinando Lucidi Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF timed process algebra, timed Petri Net
1Aloysius K. Mok Coping with Implementation Dependencies in Real-Time System Verification. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Thomas A. Henzinger Logics and Models of Real Time: A Survey. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF verification, real time, semantics, Temporal logic, finite-state machines, transition systems
1William G. Wood A Specification of the Cat and Mouse Problem. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF system engineering analysis, formal specification, Real-time specification
1Jean-Pierre Courtiat, Michel Diaz Time in State Based Formal Description Techniques for Distributed Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
1Richard Gerber 0001, Insup Lee Specification and Analysis of Resource-Bound Real-Time Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF verification, Real-time, specification, programming languages, process algebras, configuration, proof systems
1Rajeev Alur, David L. Dill The Theory of Timed Automata. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Real-time systems, Formal languages, Automatic verification, Automata theory
1Job Zwiers Layering and Action Refinement for Timed Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Real-time, Causality, Serializability, Action refinement
1Jos C. M. Baeten, Jan A. Bergstra The State Operator in Real Time Process Algebra. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF state operator, real time, locations, & Phrases process algebra
1Mathai Joseph Problems, Promises and Performance: Some Questions for Real-time System Specification. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF synchronous real-time, asynchronous real-time, fault-tolerance, real-time specification
1J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (eds.) Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Michael Schenke Predicative Specification of Timed Processes. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jozef Hooman Compositional Verification of Real-Time Systems using Extended Hoare Triples. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Hoare triples, Verification, Real-time, Specification, Compositionality
1Rajeev Alur, Costas Courcoubetis, David L. Dill Verifying Automata Specifications of Probabilistic Real-time Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Real-time, Automatic verification, Probabilistic systems
1Xavier Nicollin, Joseph Sifakis An Overview and Synthesis on Timed Process Algebras. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF specification of timed systems, real-time, process algebras
1Steven Klusener Abstraction in Real Time Process Algebra. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF & Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP
1Thomas A. Henzinger, Zohar Manna, Amir Pnueli Timed Transition Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF real time, concurrency, Transition systems
1Oded Maler, Zohar Manna, Amir Pnueli From Timed to Hybrid Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF discrete and continuous systems, Real-time, hybrid systems, Statecharts, timed transitions system
1Pierre America Designing an Object-Oriented Programming Language with Behavioural Subtyping. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Dirk Janssens, Grzegorz Rozenberg Graph Grammar-Based Description of Object-Based Systems. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Actor systems, Concurrency, Processes, Graph grammars
1William R. Cook Object-Oriented Programming Versus Abstract Data Types. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
1Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas A Categorial Theory of Objects as Observed Processes. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF object morphism, object aggregation, object inheritance, object reification, process, object, object-oriented system, behaviour, parallel composition
1José Luiz Fiadeiro, T. S. E. Maibaum Describing, Structuring and Implementing Objects. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic
1Giorgio Ghelli Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Joost Engelfriet, George Leih, Grzegorz Rozenberg Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based
1Pierre America, Jan J. M. M. Rutten A Layered Semantics for a Parallel Object-Oriented Language. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Phillip M. Yelland Producing Abstract Models for Object-Oriented Languages. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Denotational Semantics, Object-Oriented Programming Languages, Abstract Models
1Gul Agha The Structure and Semantics of Actor Languages. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures
1Takuo Watanabe, Akinori Yonezawa An Actor-Based Metalevel Architecture for Group-Wide Reflection. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF group-wide reflection, object-oriented concurrent programming, ABCL/R, ABCL/1, reflection, actor model, object-group
1Frank S. de Boer A Proof System for the Language POOL. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation
1Elspeth Cusack, Michael Lai Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (eds.) Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Lucia Pomello Refinement of Concurrent Systems Based on Local State Transformations. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
1Joost N. Kok Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
1Howard Barringer, Michael Fisher 0001, Dov M. Gabbay, Graham Gough, Richard Owens METATEM: A Framework for Programming in Temporal Logic. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Non-procedural Languages, Verification, Specification, Logic Programming, Prototyping, Synthesis, Reactive Systems, Rule-based Systems, Mechanical Verification, Modal and Temporal Logics
1A. Udaya Shankar, Simon S. Lam Construction of Network Protocols by Stepwise Refinement. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF distributed systems, Specification, refinement, transport protocols, sliding window protocols
1Ernst-Rüdiger Olderog From Trace Specifications to Process Terms. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
1Jeannette M. Wing Verifying Atomic Data Types. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
1Jifeng He 0001 Various Simulations and Refinements. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Hiding Refinement, Simulation, Refinement, Labelled Transition System
1Ralph-Johan Back Refinement Calculus, Part II: Parallel and Reactive Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
1Eduard Diepstraten, Ruurd Kuiper Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
1Hans-Dieter Ehrich, Amílcar Sernadas Algebraic Implementation of Objects over Objects. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
1Michael Merritt Completeness Theorems for Automata. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF state mappings, Specification, implementation, products, completeness, automata
1Martin Große-Rhode, Hartmut Ehrig Transformation of Combined Data Type and Process Specifications Using Projection Algebras. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
1Bernhard Josko Verifying the Correctness of AADL Modules Using Model Checking. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF model checking, verification, temporal logic, computer architecture, expressiveness, modular specification
1Rob J. van Glabbeek, Ursula Goltz Refinement of Actions in Causality Based Models. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Petri nets, Concurrency, action refinement, event structures
1Simon S. Lam, A. Udaya Shankar Refinement and Projection of Relational Specifications. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF distributed systems, protocols, Specification, temporal logic, refinement
1Rob Gerth Foundations of Compositional Program Refinement - Safety Properties. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables
1J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Paritosh K. Pandya Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties
1Manfred Broy Functional Specification of Time Sensitive Communicating Systems. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Ralph-Johan Back, Joakim von Wright Refinement Calculus, Part I: Sequential Nondeterministic Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
1Nancy A. Lynch Multivalued Possibilities Mappings. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF abstraction mapping, possibilities mapping, history variables, distributed algorithms, mapping, garbage collection, transaction processing, safety property, time bounds, Alternating Bit Protocol
1Robert P. Kurshan Analysis of Discrete Event Coordination. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF coordination analysis, formal verification, refinement, reduction, homomorphism
1Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko Modular Verification of Petri Nets: The Temporal Logic Approach. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF modular system design, verification, Petri nets, specification, temporal logic, computer architecture
1Frank A. Stomp A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Leslie Lamport Composing Specifications. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Compositional Theories Based on an Operational Semantics of Contexts. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
1Job Zwiers Predicated, Predicate Transformers and Refinement. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Tobias Nipkow Formal Verification of Data Type Refinement - Theory and Practice. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types
Displaying result #1 - #100 of 124 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license