default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Programming, Volume 81
Volume 81, Number 1, January 2012
- Suzana Andover, Annabelle McIver
, Manuel Núñez:
Preface: Special Issue QFM 2009. 1 - Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin:
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. 2-25 - Ukachukwu Ndukwu:
Generating counterexamples for quantitative safety specifications in probabilistic B. 26-45 - Anton Wijs, Mohammad Torabi Dashti:
Extended beam search for non-exhaustive state space analysis. 46-69
Volume 81, Number 2, February 2012
- Gerardo Schneider:
Guest Editors' Foreword. 71
- Tom Hvitved, Felix Klaedtke, Eugen Zalinescu:
A trace-based model for multiparty contracts. 72-98 - José Antonio Martín, Fabio Martinelli, Ernesto Pimentel:
Synthesis of secure adaptors. 99-126
- Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo:
A centralized and a decentralized method to automatically derive choreography-conforming web service systems. 127-159
Volume 81, Number 3, April 2012
- Marina Waldén, Luigia Petre:
Guest Editors' Foreword. 161 - Magnus Johansson, Björn Victor, Joachim Parrow:
Computing strong and weak bisimulations for psi-calculi. 162-180 - Tristan Crolard, Emmanuel Polonowski:
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control. 181-208 - Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Consistency and refinement for Interval Markov Chains. 209-226 - Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe:
Observable behavior of distributed systems: Component reasoning for concurrent objects. 227-256 - Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen:
Safe locking for multi-threaded Java with exceptions. 257-283 - Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham:
Formal modeling and validation of a power-efficient grouping protocol for WSNs. 284-297 - Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen:
Reachability analysis for timed automata using max-plus algebra. 298-313 - Thomas Pécseli:
Reverse Universal Resolving Algorithm and inverse driving. 314-330 - Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock checking by a behavioral effect system for lock handling. 331-354
Volume 81, Number 4, May 2012
- Michael R. Hansen:
Guest Editor's foreword. 355 - Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
Three-valued abstraction for probabilistic systems. 356-389 - Franz Wotawa, Mihai Nica, Iulia Moraru:
Automated debugging based on a constraint model of the program and a test case. 390-407 - Line Juhl, Kim G. Larsen, Jirí Srba:
Modal transition systems with weight intervals. 408-421 - Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A formal approach to the specification and transformation of constraints in MDE. 422-457 - Cristian Prisacariu, Gerardo Schneider:
A dynamic deontic logic for complex contracts. 458-490 - Lars Birkedal, Kristian Støvring, Jacob Thamsborg:
A relational realizability model for higher-order stateful ADTs. 491-521 - Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard:
Static Analysis of IMC. 522-540 - Frank S. de Boer, Immo Grabe, Martin Steffen:
Termination detection for active objects. 541-557
Volume 81, Number 5, July 2012
- Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro:
Semantics of structured normal logic programs. 559-584 - Cátia Vaz, Carla Ferreira:
On the analysis of compensation correctness. 585-605 - Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
A versatile concept for the analysis of loops. 606-622
Volume 81, Number 6, August 2012
- Harrie C. M. de Swart:
Relational and algebraic methods in computer science. 623-624 - Rudolf Berghammer:
Relation-algebraic modeling and solution of chessboard independence and domination problems. 625-642 - Walter Guttmann:
Typing theorems of omega algebra. 643-659 - Gunther Schmidt:
Partiality II: Constructed relation algebras. 660-679 - Shin-Cheng Mu, José Nuno Oliveira:
Programming from Galois connections. 680-704 - Georg Struth:
Left omega algebras and regular equations. 705-717
Volume 81, Numbers 7-8, October - November 2012
- Narciso Martí-Oliet, Peter Csaba Ölveczky:
Preface. 719-720 - José Meseguer:
Twenty years of rewriting logic. 721-781 - Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
Rewriting logic bibliography by topic: 1990-2011. 782-815 - Francisco Durán, José Meseguer:
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. 816-850 - Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero:
Declarative debugging of rewriting logic specifications. 851-897 - Santiago Escobar, Ralf Sasse, José Meseguer:
Folding variant narrowing and optimal variant termination. 898-928 - Michael Katelman, Sean Keller, José Meseguer:
Rewriting semantics of production rule sets. 929-956
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
