REX Workshop - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 139

1994

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 803 of Lecture Notes in Computer Science, Springer, 1994.

1993

Data-Flow Synchronous LanguagesAlbert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs. rex 1994: 1-45

Process Algebra with BacktrackingJan A. Bergstra, Alban Ponse, Jos van Wamel. rex 1994: 46-91

Some Chemical Abstract MachinesGérard Boudol. rex 1994: 92-123

Verification Tools for Finite-State Concurrent SystemsEdmund M. Clarke, Orna Grumberg, David E. Long. rex 1994: 124-175

Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 666 of Lecture Notes in Computer Science, Springer, 1993.

Linear Logic on Petri NetsUffe Engberg, Glynn Winskel. rex 1994: 176-229

An Introduction to the Theoretical Aspects of Coloured Petri NetsKurt Jensen. rex 1994: 230-272

Temporal Verification of Simulation and RefinementYonit Kesten, Zohar Manna, Amir Pnueli. rex 1994: 273-346

Verification and Specifications of Concurrent ProgramsLeslie Lamport. rex 1994: 347-374

Simulation Techniques for Proving Properties of Real-Time SystemsNancy A. Lynch. rex 1994: 375-424

Relationships Between Models of ConcurrencyMogens Nielsen, Vladimiro Sassone, Glynn Winskel. rex 1994: 425-476

Interaction DiagramsJoachim Parrow. rex 1994: 477-508

Algebraic Theories for Name-Passing CalculiJoachim Parrow, Davide Sangiorgi. rex 1994: 509-529

Initial Algebra and Final Coalgebra Semantics for ConcurrencyJan J. M. M. Rutten, Daniele Turi. rex 1994: 530-582

Logical Specifications of Infinite ComputationsWolfgang Thomas, Helmut Lescow. rex 1994: 583-621

Partial Order Based Design of Concurrent SystemsJob Zwiers, Wil Janssen. rex 1994: 622-684

1992

Predicate Transformers and Higher Order LogicRalph-Johan Back, Joakim von Wright. rex 1993: 1-20

Trace NetsEric Badouel, Philippe Darondeau. rex 1993: 21-50

Proving Total Correctness of Programs in Weak Second-Order LogicRudolf Berghammer, Birgit Elbl, Ulf R. Schmerl. rex 1993: 51-72

Semantics, Orderings and Recursion in the Weakest Precondition CalculusMarcello M. Bonsangue, Joost N. Kok. rex 1993: 91-109

A Categorial Model for Logic Programs: Indexed Monoidal CategoriesAndrea Corradini, Andrea Asperti. rex 1993: 110-137

Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, ProceedingsJ. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 600 of Lecture Notes in Computer Science, Springer, 1992.

On Blocks: Locality and Asynchronous Communication (Extended Abstract)Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten. rex 1993: 73-90

A Categorial View of Process RefinementPierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini. rex 1993: 138-153

Compact Metric Information Systems (Extended Abstract)Abbas Edalat, Michael B. Smyth. rex 1993: 154-173

Asynchronous Rendez-vous in Distributed Logic ProgrammingAnton Eliëns, Erik P. de Vink. rex 1993: 174-203

New Semantic Tools for Logic ProgrammingMaurizio Gabbrielli, Giorgio Levi, Maurizio Martelli. rex 1993: 204-235

Temporal Preconditions of Recursive ProceduresWim H. Hesselink, Ronald Reinds. rex 1993: 236-260

A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and LocalityEiichi Horita. rex 1993: 288-317

SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen. rex 1993: 318-347

Infinite Behaviour and Fairness in Concurrent Constraint ProgrammingMarta Z. Kwiatkowska. rex 1993: 348-383

Full Abstraction and Unnested RecursionMichael W. Mislove, Frank J. Oles. rex 1993: 384-397

On the Action Semantics of Concurrent Programming LanguagesPeter D. Mosses. rex 1993: 398-424

Layered PredicatesFlemming Nielson, Hanne Riis Nielson. rex 1993: 425-456

A Hyperdoctrinal View of Concurrent Constraint ProgrammingPrakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely. rex 1993: 457-476

On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial OrdersJan J. M. M. Rutten, Daniele Turi. rex 1993: 477-530

Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent AlgorithmsViggo Stoltenberg-Hansen, J. V. Tucker. rex 1993: 531-562

Some Issues in the Semantics of Facile Distributed ProgrammingBent Thomsen, Lone Leth, Alessandro Giacalone. rex 1993: 563-593

On the Relation Between Unity Properties and Sequences of StatesRob T. Udink, Joost N. Kok. rex 1993: 594-608

Expressive Results for Process AlgebrasFrits W. Vaandrager. rex 1993: 609-638

Towards an Epistemic Approach to Reasoning about Concurrent ProgramsWiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer. rex 1993: 261-287

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational SemanticsSam Weber, Bard Bloom, Geoffrey Brown. rex 1993: 639-659

1991

An Old-Fashioned Recipe for Real TimeMartín Abadi, Leslie Lamport. rex 1992: 1-27

Verifying Automata Specifications of Probabilistic Real-time SystemsRajeev Alur, Costas Courcoubetis, David L. Dill. rex 1992: 28-44

The Theory of Timed AutomataRajeev Alur, David L. Dill. rex 1992: 45-73

Logics and Models of Real Time: A SurveyRajeev Alur, Thomas A. Henzinger. rex 1992: 74-106

The State Operator in Real Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. rex 1992: 107-123

Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary OperatorTommaso Bolognesi, Ferdinando Lucidi. rex 1992: 124-148

Time in State Based Formal Description Techniques for Distributed SystemsJean-Pierre Courtiat, Michel Diaz. rex 1992: 149-175

Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 489 of Lecture Notes in Computer Science, Springer, 1991.

Real-Time and the Mu-Calculus (Preliminary Report)E. Allen Emerson. rex 1992: 176-194

Specification and Analysis of Resource-Bound Real-Time SystemsRichard Gerber, Insup Lee. rex 1992: 371-396

Semantics and Completeness of Duration CalculusMichael R. Hansen, Zhou Chaochen. rex 1992: 209-225

Timed Transition SystemsThomas A. Henzinger, Zohar Manna, Amir Pnueli. rex 1992: 226-251

Compositional Verification of Real-Time Systems using Extended Hoare TriplesJozef Hooman. rex 1992: 252-290

Semantics of Reactive Systems in Abstract TimeCornelis Huizing, Rob Gerth. rex 1992: 291-314

Problems, Promises and Performance: Some Questions for Real-time System SpecificationMathai Joseph. rex 1992: 315-324

Abstraction in Real Time Process AlgebraSteven Klusener. rex 1992: 325-352

(Real) Time: A Philosophical PerspectiveRon Koymans. rex 1992: 353-370

Forward and Backward Simulations for Timing-Based SystemsNancy A. Lynch, Frits W. Vaandrager. rex 1992: 397-446

From Timed to Hybrid SystemsOded Maler, Zohar Manna, Amir Pnueli. rex 1992: 447-484

Coping with Implementation Dependencies in Real-Time System VerificationAloysius K. Mok. rex 1992: 485-501

Validating Real-Time Systems by Executing Logic SpecificationsAngelo Morzenti. rex 1992: 502-525

From ATP to Timed Graphs and Hybrid SystemsXavier Nicollin, Joseph Sifakis, Sergio Yovine. rex 1992: 549-572

An Overview and Synthesis on Timed Process AlgebrasXavier Nicollin, Joseph Sifakis. rex 1992: 526-548

Verification of Safety Critical Systems Using TTM/RTTLJonathan S. Ostroff. rex 1992: 573-602

Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTREFrédéric Rocheteau, Nicolas Halbwachs. rex 1992: 195-208

Predicative Specification of Timed ProcessesMichael Schenke. rex 1992: 603-617

Putting Time into Proof OutlinesFred B. Schneider, Bard Bloom, Keith Marzullo. rex 1992: 618-639

Timed CSP: Theory and PracticeSteve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe. rex 1992: 640-675

A Specification of the Cat and Mouse ProblemWilliam G. Wood. rex 1992: 676-686

Layering and Action Refinement for Timed SystemsJob Zwiers. rex 1992: 687-723

1990

The Structure and Semantics of Actor LanguagesGul Agha. rex 1991: 1-59

Designing an Object-Oriented Programming Language with Behavioural SubtypingPierre America. rex 1991: 60-90

A Layered Semantics for a Parallel Object-Oriented LanguagePierre America, Jan J. M. M. Rutten. rex 1991: 91-123

Object-Oriented Programming Versus Abstract Data TypesWilliam R. Cook. rex 1991: 151-178

Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!Elspeth Cusack, Michael Lai. rex 1991: 179-202

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 430 of Lecture Notes in Computer Science, Springer, 1990.

A Proof System for the Language POOLFrank S. de Boer. rex 1991: 124-150

A Categorial Theory of Objects as Observed ProcessesHans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas. rex 1991: 203-228

Net-Based Description Of Parallel Object-Based Systems, or POTs and POPsJoost Engelfriet, George Leih, Grzegorz Rozenberg. rex 1991: 229-273

Describing, Structuring and Implementing ObjectsJosé Luiz Fiadeiro, T. S. E. Maibaum. rex 1991: 274-310

Modelling Features of Object-Oriented Languages in Second Order Functional Languages with SubtypesGiorgio Ghelli. rex 1991: 311-340

Graph Grammar-Based Description of Object-Based SystemsDirk Janssens, Grzegorz Rozenberg. rex 1991: 341-404

An Actor-Based Metalevel Architecture for Group-Wide ReflectionTakuo Watanabe, Akinori Yonezawa. rex 1991: 405-425

Producing Abstract Models for Object-Oriented LanguagesPhillip M. Yelland. rex 1991: 426-442

1989

Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programsrex 1990: 622-640

Refinement Calculus, Part I: Sequential Nondeterministic ProgramsRalph-Johan Back, Joakim von Wright. rex 1990: 42-66

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 354 of Lecture Notes in Computer Science, Springer, 1989.

Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement MappingsEduard Diepstraten, Ruurd Kuiper. rex 1990: 208-238

Foundations of Compositional Program Refinement - Safety PropertiesRob Gerth. rex 1990: 777-807

Various Simulations and RefinementsJifeng He. rex 1990: 340-360

On Decomposing and Refining Specifications of Distributed SystemsBengt Jonsson. rex 1990: 361-385

Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent PrologJoost N. Kok. rex 1990: 401-413

Analysis of Discrete Event CoordinationRobert P. Kurshan. rex 1990: 414-453

Construction of Network Protocols by Stepwise RefinementA. Udaya Shankar, Simon S. Lam. rex 1990: 669-695

Refinement of Actions in Causality Based ModelsRob J. van Glabbeek, Ursula Goltz. rex 1990: 267-300

Verifying Atomic Data TypesJeannette M. Wing. rex 1990: 731-758

Predicated, Predicate Transformers and RefinementJob Zwiers. rex 1990: 759-776

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

REX Workshop (rex)

Viewing Publication 1 - 100 from 139

1994

1993

1992

1991

1990

1989

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

REX Workshop (rex)

Viewing Publication 1 - 100 from 139

1994

1993

1992

1991

1990

1989

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1