| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nachum Dershowitz, Claude Kirchner |
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.  |
Concurrency, Graphs and Models  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Ribeiro, Fernando Luís Dotti |
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri |
Session and Union Types for Object Oriented Programming. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
Object Oriented Programming, Sessions, Union Types, Session Types |
| 1 | Roberto Bruni, Vladimiro Sassone |
Models of Computation: A Tribute to Ugo Montanari's Vision. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten |
Calculating with Automata. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Robin Milner |
Categories, Software and Meaning. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci |
Ugo Montanari and Friends. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Abeti, Paolo Ciancarini, Rocco Moretti |
Business Process Modeling for Organizational Knowledge Management. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia |
On the Asynchronous Nature of the Asynchronous pi-Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky |
Petri Nets, Discrete Physics, and Distributed Quantum Computation. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo |
Declarative Debugging of Membership Equational Logic Specifications. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
Maude, functional modules, membership equational logic, declarative debugging |
| 1 | Donald Sannella, Andrzej Tarlecki |
Observability Concepts in Abstract Data Type Specification, 30 Years Later. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini |
Ugo Montanari and Graph Transformation. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer |
The Temporal Logic of Rewriting: A Gentle Introduction. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Quaglia |
On Beta-Binders Communications. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Laneve, Luca Padovani |
The Pairing of Contracts and Session Types. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Raffaele Meo |
Some Theorems Concerning the Core Function. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Yankelevich |
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro |
What Do Semantics Matter When the Meat Is Overcooked?. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Mateescu, Rina Dechter |
AND/OR Multi-valued Decision Diagrams for Constraint Networks. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Darondeau |
On the Synthesis of Zero-Safe Nets. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, Paola Inverardi, Carlo Montangero |
Dynamically Evolvable Dependable Software: From Oxymoron to Reality. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel |
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan J. M. M. Rutten |
A Roman Senator. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Approximating Behaviors in Embedded System Design. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente |
Graph-Based Design and Analysis of Dynamic Software Architectures. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
Specifying and Analysing SOC Applications with COWS. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari |
Ugo Montanari and Software Verification. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci |
A Category of Explicit Fusions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dines Bjørner |
From Domain to Requirements. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi |
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Martelli |
The Seventies. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg |
Graph Transformation Units - An Overview. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Barbara König |
Unfolding Graph Transformation Systems: Theory and Applications to Verification. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Hernán C. Melgratti |
Synchronous Multiparty Synchronizations and Transactions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg |
Transformations in Reconfigurable Place/Transition Systems. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, 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 |
| 1 | Roberto Gorrieri |
Ugo Montanari and Concurrency Theory. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto |
History Dependent Automata for Service Compatibility. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Egidio Astesiano, Gianna Reggio, Filippo Ricca |
Modeling Business within a UML-Based Rigorous Software Development Approach. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Rossi |
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Mogens Nielsen |
Secure Data Flow in a Calculus for Context Awareness. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
security, Ubiquitous Computing, context awareness, type system, Mobile Ambients |
| 1 | Martín Abadi |
Automatic Mutual Exclusion and Atomicity Checks. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Turini |
The Semantics of Ugo Montanari. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best |
A Note on Persistent Petri Nets. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
A Type System for Client Progress in a Service-Oriented Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
type systems, service-oriented computing, pi-calculus, process calculi |
| 1 | Arend Rensink |
Explicit State Model Checking for Graph Grammars. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka |
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters |
Calculating Colimits Compositionally. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Pierpaolo Degano, José Meseguer |
Ugo Montanari in a Nutshell. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) |
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday |
Concurrency, Graphs and Models |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesca Rossi |
Semiring-Based Soft Constraints. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")