Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Foundations for a Graph-Based Approach to the Specification of Access Control Policies. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin, John Power |
Adequacy for Algebraic Effects. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paola Quaglia, David Walker 0008 |
On Synchronous and Asynchronous Mobile Processes. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Huimin Lin, Wang Yi 0001 |
A Proof System for Timed Automata. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Detlef Plump |
Hierarchical Graph Transformation. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Morvan |
On Rational Graphs. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Husson, Rémi Morin |
On Recognizable Stable Trace Languages. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
An Algebraic Foundation for Adaptive Programming. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hongseok Yang, Uday S. Reddy |
On the Semantics of Refinement Calculi. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yih-Kuen Tsay |
Compositional Verification in Linear-Time Temporal Logic. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Anne Labroue, Philippe Schnoebelen |
Verifying Performance Equivalence for Timed Basic Parallel Processes. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Mariëlle Stoelinga |
Norm Functions for Probabilistic Bisimulations with Delays. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jo Erskine Hannay |
A Higher-Order Simulation Relation for System F. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Femke van Raamsdonk |
Constructor Subtyping in the Calculus of Inductive Constructions. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Sousa Pinto |
Sequential and Concurrent Abstract Machines for Interaction Nets. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Oltea Mihaela Herescu, Catuscia Palamidessi |
Probabilistic Asynchronous pi-Calculus. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Treinen |
Predicate Logic and Tree Automata with Tests. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
Constructive Data Refinement in Typed Lambda Calculus. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Tiuryn (eds.) |
Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | François Laroussinie, Philippe Schnoebelen |
The State Explosion Problem from Trace to Bisimulation Equivalence. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Aleksy Schubert |
Type Inference for First-Order Logic. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Merro |
Locality and Polyadicity in Asynchronous Name-Passing Calculi. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
Categorical Models for Intuitionistic and Linear Type Theory. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal |
On Word Rewriting Systems Having a Rational Derivation. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Zimmer |
Subtyping and Typing Algorithms for Mobile Ambients. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski |
Proof Nets and Explicit Substitutions. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ferruccio Damiani |
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christine Röckl, Davide Sangiorgi |
A pi-calculus Process Semantics of Concurrent Idealised ALGOL. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
Reasoning About Concurrent Systems Using Types. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Unfolding and Event Structure Semantics for Graph Grammars. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Bogaert, Franck Seynhaeve, Sophie Tison |
The Recognizability Problem for Tree Automata with Comparisons between Brothers. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Luca Cardelli |
Equational Properties of Mobile Ambients. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marina Lenisa |
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Benke |
An Algebraic Characterization of Typability in ML with Subtyping. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer |
A WP-calculus for OO. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Evgeny Dantsin, Andrei Voronkov |
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Jens Knoop |
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe |
Expanding the Cube. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Maneth |
String Languages Generated by Total Deterministic Macro Tree Transducers. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Valeria de Paiva, Eike Ritter |
Categorical Models of Explicit Substitutions. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michaela Huhn, Peter Niebert, Frank Wallner |
Model Checking Logics for Communicating Sequential Agents. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl |
Matching Specifications for Message Sequence Charts. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
Probabilistic Temporal Logics via the Modal Mu-Calculus. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
Security Protocols and Specifications. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
A Theory of "May" Testing for Asynchronous Languages. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Rosa Arruabarrena, Paqui Lucio, Marisa Navarro |
A Strong Logic Programming View for Static Embedded Implications. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Static Analysis of Processes for No and Read-Up nad No Write-Down. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Thomas (eds.) |
Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir |
Testing Hennessy-Milner Logic with Recursion. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gundula Niemann, Friedrich Otto |
The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Fabio Gadducci |
Rational Term Rewriting. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove |
Generalizing Domain Theory. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Nivat (eds.) |
Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Matz |
On Piecewise Testable, Starfree, and Recognizable Picture Languages. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Renate Klempien-Hinrichs |
Net Refinement by Pullback Rewriting. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Porrot, Max Dauchet, Bruno Durand 0001, Nikolai K. Vereshchagin |
Deterministic Rational Transducers and Random Sequences. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi |
Functor Categories and Two-Level Languages. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann |
The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl, Doron A. Peled, Zhendong Su 0001 |
Deciding Properties for Message Sequence Charts. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Andrew D. Gordon 0001 |
Mobile Ambients. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Solange Coupet-Grimal |
Analysis of a Guard Condition in Type Theory (Extended Abstract). |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Can Adam Albayrak, Thomas Noll 0001 |
The WHILE Hierarchy of Program Schemes Is Infinite. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Bukatin, Svetlana Yu. Shorina |
Partial Metrics and Co-continuous Valuations. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Julian Rathke |
Resource Based Models for Asynchrony. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Asynchronous Observations of Processes. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir |
A Cook's Tour of Equational Axiomatizations for Prefix Iteration. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bottreau, Yves Métivier |
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Danièle Beauquier |
Pumping Lemmas for Timed Automata. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|