Logic, Rewriting, and Concurrency

Publications

2015

Jayadev Misra
A Denotational Semantic Theory of Concurrent Systems. Logic, Rewriting, and Concurrency (2015)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
Two Decades of Maude. Logic, Rewriting, and Concurrency (2015)
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency (2015)
Kokichi Futatsugi
Generic Proof Scores for Generate & Check Method in CafeOBJ. Logic, Rewriting, and Concurrency (2015)
Rolf Hennicker, Annabelle Klarl, Martin Wirsing
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency (2015)
Catherine A. Meadows
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later. Logic, Rewriting, and Concurrency (2015)
Peter D. Mosses, Ferdinand Vesely
Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency (2015)
David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse
Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency (2015)
Stefanie Neubert, Lenz Belzner, Martin Wirsing
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. Logic, Rewriting, and Concurrency (2015)
Michael LeMay, Carl A. Gunter
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. Logic, Rewriting, and Concurrency (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency (2015)
Stephan Falke, Deepak Kapur
When Is a Formula a Loop Invariant? Logic, Rewriting, and Concurrency (2015)
Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency (2015)
Kyungmin Bae, Peter Csaba Ölveczky
Hybrid Multirate PALS. Logic, Rewriting, and Concurrency (2015)
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency (2015)
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency (2015)
Camilo Rocha
The Formal System of Dijkstra and Scholten. Logic, Rewriting, and Concurrency (2015)
Grigore Rosu
From Rewriting Logic, to Programming Language Semantics, to Program Verification. Logic, Rewriting, and Concurrency (2015)
Raúl Gutiérrez, Salvador Lucas
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. Logic, Rewriting, and Concurrency (2015)
Marisa Navarro, Fernando Orejas, Elvira Pino
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency (2015)
Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency (2015)
Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. Logic, Rewriting, and Concurrency (2015)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Logic, Rewriting, and Concurrency (2015)
Thomas J. Anastasio
Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience. Logic, Rewriting, and Concurrency (2015)
Shuo Chen
Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer. Logic, Rewriting, and Concurrency (2015)
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency (2015)
Erwin Engeler
Formal Universes. Logic, Rewriting, and Concurrency (2015)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency (2015)
Hélène Kirchner
Rewriting Strategies and Strategic Rewrite Programs. Logic, Rewriting, and Concurrency (2015)

volume 9200, 2015

Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday Logic, Rewriting, and Concurrency 9200 (2015)