Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma |
An algebraic approach to the specification of stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 126-147, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | David Gries, Willem P. de Roever (eds.) |
Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![Chapman & Hall, 0-412-83760-9 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Michael Huth 0001, Marta Z. Kwiatkowska |
Comparing CTL and PCTL on labeled Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 244-262, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Karl Crary |
Programming language semantics in foundational type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 107-125, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Richard B. Kieburtz |
Reactive functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 263-284, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries |
Types for trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 11-29, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Werner Damm |
Verifying electronic control unit: today and tomorrow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 7-8, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Z. Qiu, C. Zhou |
A combination of interval logic and linear temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 444-461, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | David Gries |
Teaching calculational logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 9-10, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Ian J. Hayes, Mark Utting |
Deadlines are termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 186-204, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp |
A proof theory of asynchronously communicating sequential processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 49-67, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Cécile Péraire, Stéphane Barbey, Didier Buchs |
Test selection for object-oriented software based on formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 385-403, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | K. Rustan M. Leino |
Extended static checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 1-2, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Paritosh K. Pandya, H.-P. Wang, Qiwen Xu |
Toward a theory of sequential hybrid programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 366-384, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Orna Kupferman, Moshe Y. Vardi |
Relating linear and branching model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 304-326, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Ewen Denney |
Refinement types for specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 148-166, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Zhiming Liu 0001, Anders P. Ravn, Xiaoshan Li |
Verifying duration properties of timed transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 327-345, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Josva Kleist, Davide Sangiorgi |
Imperative objects and mobile processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 285-303, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Michele Boreale, Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 68-86, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | David Scott Warren |
Programming with tabling in XSB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 5-6, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Carl-Johan H. Seger |
From lattices to practical formal hardware verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 3-4, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
Using state space exploration and a natural deduction style message derivation engine to verify security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 87-106, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore |
Final semantics for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 225-243, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Wim H. Hesselink |
The design of a linearization of a concurrent data object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 205-224, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter, Peter Müller 0001 |
Logical foundations for typed object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 404-423, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca |
Structures for lazy semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 30-48, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Shaz Qadeer, Natarajan Shankar |
Verifying a self-stabilizing mutual exclusion algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 424-443, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | A. J. M. van Gasteren, A. Bijlsma 0001 |
An extension of the program derivation format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 167-185, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Axel Wabenhorst |
A model of real-time distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 462-482, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | David A. Naumann |
Towards squiggly refinement algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 346-365, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Werner Damm, Johannes Helbig |
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 341-359, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Martín Abadi, Leslie Lamport |
Decomposing Specifications of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 327-340, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Davide Sangiorgi |
Bisimulation in Higher-Order Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 207-224, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Yellamraju V. Srinivas |
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 531-550, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Muriel Jourdan, Florence Maraninchi |
Studying Synchronous Communication Mechanisms by Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 189-205, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Egon Börger, Igor Durdanovic, Dean Rosenzweig |
Occam: Specification and Compiler Correctness - Part I: The Primary Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 489-508, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri |
Axiomatising ST-Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 169-188, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ben C. Moszkowski |
Some Very Compositional Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 307-326, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Bernhard Möller |
Ideal Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 39-58, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | David A. Naumann |
Predicate Transformer Semantics of an Oberon-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 467-487, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Martin Simons 0001, Maya Biersack, Robert Raschke |
Literate and Structured Presentation of Formal Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 61-81, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Martin Steffen, Benjamin C. Pierce |
Higher-Order Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 511-530, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Nicoletta De Francesco, Ugo Montanari, Gioia Ristori |
Modelling Concurrent Accesses to Shared Data via Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 403-422, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | K. Rustan M. Leino, Jan L. A. van de Snepscheut |
Semantics of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 447-466, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Heinz W. Schmidt, Wolf Zimmermann |
Reasoning about Complexity of Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 553-572, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
An Event Structure Semantics for Safe Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 423-444, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Anne Kaldewaij, Victor J. Dielissen |
Decomposable Functions and Leaf Trees: A Systematic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 3-17, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Mario Südholt |
Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 19-38, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Rob T. Udink, Ted Herman, Joost N. Kok |
Progress for Local Variables in UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 127-146, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Andrew C. Uselton, Scott A. Smolka |
A Process Algebraic Semantics for Statecharts via State Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 267-286, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Burghard von Karger |
Plotkin, Hoare and Smyth Order: On Observational Models for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 383-402, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Arend Rensink |
Methodological Aspects of Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 227-246, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Henk Doornbos |
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 363-382, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | James M. Boyle |
Automatic, Self-adaptive Control and Unfold Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 83-103, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ralph-Johan Back, Kaisa Sere |
Action Systems with Synchronous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 107-126, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Heike Wehrheim |
Parametric Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 247-266, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Chris Verhoef |
A General Conservative Extension Theorem in Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 149-168, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog (eds.) |
Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![North-Holland, 0-444-82020-5 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer |
Compositionality in the Inductive Assertion Method for Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 289-305, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|