Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)	Transactions on Petri Nets and Other Models of Concurrency XII	Trans. Petri Nets and Other Models of Concurrency	2017	DBLP DOI BibTeX RDF
28	Thomas Gibson-Robinson, Philippa J. Hopcroft, Ranko Lazic 0001 (eds.)	Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Carroll Morgan	A Demonic Lattice of Information.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Ranko Lazic 0001, Patrick Totzke	What Makes Petri Nets Harder to Verify: Stack or Data?	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Michael W. Mislove	Discrete Random Variables Over Domains, Revisited.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Peter Y. A. Ryan	A Brief History of Security Protocols.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Antti Valmari	More Stubborn Set Methods for Process Algebras.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Jay Yantchev, Atanas N. Parashkevov	Virtualization Based Development.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Henri Hansen	Abstractions for Transition Systems with Applications to Stubborn Sets.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Joshua D. Guttman	Information Flow, Distributed Systems, and Refinement, by Example.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Gavin Lowe	Analysing Lock-Free Linearizable Datatypes Using CSP.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang 0001	A Specification Theory of Real-Time Processes.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Jifeng He 0001, Qin Li 0002	A Hybrid Relational Modelling Language.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Olga Chen, Catherine Meadows 0001, Gautam Trivedi	Stealthy Protocols: Metrics and Open Problems.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio	FDR: From Theory to Industrial Application.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Rob J. van Glabbeek	A Branching Time Model of CSP.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Simon Foster 0001, Jim Woodcock 0001	Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL.	Concurrency, Security, and Puzzles	2017	DBLP DOI BibTeX RDF
28	Maciej Koutny, Jörg Desel, Jetty Kleijn (eds.)	Transactions on Petri Nets and Other Models of Concurrency XI	Trans. Petri Nets and Other Models of Concurrency	2016	DBLP DOI BibTeX RDF
28	Maciej Koutny, Jörg Desel, Serge Haddad (eds.)	Transactions on Petri Nets and Other Models of Concurrency X	Trans. Petri Nets and Other Models of Concurrency	2015	DBLP DOI BibTeX RDF
28	Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott (eds.)	Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Jayadev Misra	A Denotational Semantic Theory of Concurrent Systems.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott	Two Decades of Maude.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott	José Meseguer: Scientist and Friend Extraordinaire.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Kokichi Futatsugi	Generic Proof Scores for Generate & Check Method in CafeOBJ.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Rolf Hennicker, Annabelle Klarl, Martin Wirsing	Model-Checking Helena Ensembles with Spin.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Catherine Meadows 0001	Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Peter D. Mosses, Ferdinand Vesely	Weak Bisimulation as a Congruence in MSOS.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse	Alice and Bob Meet Equational Theories.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Stefanie Neubert, Lenz Belzner, Martin Wirsing	Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Michael LeMay, Carl A. Gunter	Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	A Normal Form for Stateful Connectors.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Stephan Falke 0001, Deepak Kapur	When Is a Formula a Loop Invariant?	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	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	DBLP DOI BibTeX RDF
28	Kyungmin Bae, Peter Csaba Ölveczky	Hybrid Multirate PALS.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino	Debits and Credits in Petri Nets and Linear Logic.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak	Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Camilo Rocha	The Formal System of Dijkstra and Scholten.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Grigore Rosu	From Rewriting Logic, to Programming Language Semantics, to Program Verification.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Raúl Gutiérrez, Salvador Lucas	Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Marisa Navarro, Fernando Orejas, Elvira Pino	Satisfiability of Constraint Specifications on XML Documents.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson	Discretionary Information Flow Control for Interaction-Oriented Specifications.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	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	DBLP DOI BibTeX RDF
28	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	DBLP DOI BibTeX RDF
28	Thomas J. Anastasio	Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Shuo Chen 0001	Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans	On First-Order Model-Based Reasoning.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Erwin Engeler	Formal Universes.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Hélène Kirchner	Rewriting Strategies and Strategic Rewrite Programs.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
28	Maciej Koutny, Serge Haddad, Alex Yakovlev (eds.)	Transactions on Petri Nets and Other Models of Concurrency IX	Trans. Petri Nets and Other Models of Concurrency	2014	DBLP DOI BibTeX RDF
28	Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (eds.)	Transactions on Petri Nets and Other Models of Concurrency VII	Trans. Petri Nets and Other Models of Concurrency	2013	DBLP DOI BibTeX RDF
28	Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev (eds.)	Transactions on Petri Nets and Other Models of Concurrency VIII	Trans. Petri Nets and Other Models of Concurrency	2013	DBLP DOI BibTeX RDF
28	Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.)	Transactions on Petri Nets and Other Models of Concurrency V	Trans. Petri Nets and Other Models of Concurrency	2012	DBLP DOI BibTeX RDF
28	Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (eds.)	Transactions on Petri Nets and Other Models of Concurrency VI	Trans. Petri Nets and Other Models of Concurrency	2012	DBLP DOI BibTeX RDF
28	Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)	Transactions on Petri Nets and Other Models of Concurrency IV	Trans. Petri Nets and Other Models of Concurrency	2010	DBLP DOI BibTeX RDF
28	Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001	A Small Step for Mankind.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	E. Allen Emerson	Meanings of Model Checking.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe	Concurrent Objects à la Carte.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Dines Bjørner, Asger Eir	Compositionality: Ontology and Mereology of Domains.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Peter van Emde Boas	Playing Savitch and Cooking Games.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Proving the Refuted: Symbolic Model Checkers as Proof Generators.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Jan Peleska 0001	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Hans Langmaack	On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Ansgar Fehnker, Ralf Huuck, Sean Seefried	Counterexample Guided Path Reduction for Static Program Analysis.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Ernst-Rüdiger Olderog, Andreas Podelski	Explicit Fair Scheduling for Dynamic Control.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Kai Engelhardt, Ralf Huuck	Smaller Abstractions for FOR ALL CTL* without Next.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Jozef Hooman, Marcel Verhoef	Formal Semantics of a VDM Extension for Distributed Embedded Systems.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Leslie Lamport	Computer Science and State Machines.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech	Automated Proofs for Asymmetric Encryption.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Shivali Agarwal, R. K. Shyamasundar	A Proof System for a PGAS Language.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	David Harel, Amir Kantor, Shahar Maoz	On the Power of Play-Out for Scenario-Based Programs.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
28	Kurt Jensen, Jonathan Billington, Maciej Koutny (eds.)	Transactions on Petri Nets and Other Models of Concurrency III	Trans. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
28	Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (eds.)	Transactions on Petri Nets and Other Models of Concurrency I	Trans. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF
28	Pierpaolo Degano, Rocco De Nicola, José Meseguer 0001 (eds.)	Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg	Graph Transformation Units - An Overview.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Arend Rensink	Explicit State Model Checking for Graph Grammars.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	José Meseguer 0001	The Temporal Logic of Rewriting: A Gentle Introduction.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	Specifying and Analysing SOC Applications with COWS.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	José Luiz Fiadeiro	What Do Semantics Matter When the Meat Is Overcooked?.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Cosimo Laneve, Luca Padovani	The Pairing of Contracts and Session Types.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Marco Pistore, Emilio Tuosto	History Dependent Automata for Service Compatibility.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Angelo Raffaele Meo	Some Theorems Concerning the Core Function.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Daniel Yankelevich	Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Franco Turini	The Semantics of Ugo Montanari.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Rocco De Nicola, Pierpaolo Degano, José Meseguer 0001	Ugo Montanari in a Nutshell.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Carlo Ghezzi, Paola Inverardi, Carlo Montangero	Dynamically Evolvable Dependable Software: From Oxymoron to Reality.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Andrea Corradini 0001	Ugo Montanari and Graph Transformation.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Donald Sannella, Andrzej Tarlecki	Observability Concepts in Abstract Data Type Specification, 30 Years Later.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci	A Category of Explicit Fusions.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing	A Heterogeneous Approach to UML Semantics.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Francesca Rossi 0001	Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto	Event-Based Service Coordination.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Service Oriented Architectures, Coordination, Event Notification
28	Philippe Darondeau	On the Synthesis of Zero-Safe Nets.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Alberto Martelli	The Seventies.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Stefania Gnesi	Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Leila Ribeiro 0001, Fernando Luís Dotti	Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF