| 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.  |
PROCOMET  |
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 |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Huth 0001, Marta Z. Kwiatkowska |
Comparing CTL and PCTL on labeled Markov chains. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Karl Crary |
Programming language semantics in foundational type theory. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Richard B. Kieburtz |
Reactive functional programming. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries |
Types for trees. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Werner Damm |
Verifying electronic control unit: today and tomorrow. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Z. Qiu, C. Zhou |
A combination of interval logic and linear temporal logic. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Gries |
Teaching calculational logic. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ian J. Hayes, Mark Utting |
Deadlines are termination. |
PROCOMET |
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. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Cécile Péraire, Stéphane Barbey, Didier Buchs |
Test selection for object-oriented software based on formal specifications. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Extended static checking. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paritosh K. Pandya, H.-P. Wang, Qiwen Xu |
Toward a theory of sequential hybrid programs. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Orna Kupferman, Moshe Y. Vardi |
Relating linear and branching model checking. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ewen Denney |
Refinement types for specification. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Anders P. Ravn, Xiaoshan Li |
Verifying duration properties of timed transition systems. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Josva Kleist, Davide Sangiorgi |
Imperative objects and mobile processes. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michele Boreale, Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren |
Programming with tabling in XSB. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carl-Johan H. Seger |
From lattices to practical formal hardware verification. |
PROCOMET |
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. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore |
Final semantics for the pi-calculus. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Wim H. Hesselink |
The design of a linearization of a concurrent data object. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Arnd Poetzsch-Heffter, Peter Müller 0001 |
Logical foundations for typed object-oriented languages. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca |
Structures for lazy semantics. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Shaz Qadeer, Natarajan Shankar |
Verifying a self-stabilizing mutual exclusion algorithm. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | A. J. M. van Gasteren, A. Bijlsma 0001 |
An extension of the program derivation format. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Axel Wabenhorst |
A model of real-time distributed systems. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | David A. Naumann |
Towards squiggly refinement algebra. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Werner Damm, Johannes Helbig |
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Leslie Lamport |
Decomposing Specifications of Concurrent Systems. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Davide Sangiorgi |
Bisimulation in Higher-Order Process Calculi. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yellamraju V. Srinivas |
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Muriel Jourdan, Florence Maraninchi |
Studying Synchronous Communication Mechanisms by Abstractions. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Igor Durdanovic, Dean Rosenzweig |
Occam: Specification and Compiler Correctness - Part I: The Primary Model. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri |
Axiomatising ST-Bisimulation Equivalence. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ben C. Moszkowski |
Some Very Compositional Temporal Properties. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Möller |
Ideal Streams. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | David A. Naumann |
Predicate Transformer Semantics of an Oberon-Like Language. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Martin Simons 0001, Maya Biersack, Robert Raschke |
Literate and Structured Presentation of Formal Proofs. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Martin Steffen, Benjamin C. Pierce |
Higher-Order Subtyping. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Ugo Montanari, Gioia Ristori |
Modelling Concurrent Accesses to Shared Data via Petri Nets. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | K. Rustan M. Leino, Jan L. A. van de Snepscheut |
Semantics of Exceptions. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Heinz W. Schmidt, Wolf Zimmermann |
Reasoning about Complexity of Object-Oriented Programs. |
PROCOMET |
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. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anne Kaldewaij, Victor J. Dielissen |
Decomposable Functions and Leaf Trees: A Systematic Approach. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mario Südholt |
Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rob T. Udink, Ted Herman, Joost N. Kok |
Progress for Local Variables in UNITY. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andrew C. Uselton, Scott A. Smolka |
A Process Algebraic Semantics for Statecharts via State Refinement. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Burghard von Karger |
Plotkin, Hoare and Smyth Order: On Observational Models for CSP. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Arend Rensink |
Methodological Aspects of Action Refinement. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Henk Doornbos |
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | James M. Boyle |
Automatic, Self-adaptive Control and Unfold Transformations. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Kaisa Sere |
Action Systems with Synchronous Communication. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Parametric Action Refinement. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Chris Verhoef |
A General Conservative Extension Theorem in Process Algebra. |
PROCOMET |
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 |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer |
Compositionality in the Inductive Assertion Method for Concurrent Systems. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license