Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Peter Sestoft |
Demonstrating Lambda Calculus Reduction. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Luigi Santocanale |
A Calculus of Circular Proofs and Its Categorical Semantics. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Peter Thiemann 0001 |
A Prototype Dependency Calculus. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Roger Villemaire |
An Approximation Semantics for the Propositional Mu-Calculus. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Atsushi Ohori, Kiyoshi Yamatodani |
An interoperable calculus for external object access. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
record polymorphism, Java, interoperability, ML, type inference, object-oriented language |
17 | Reinhold Letz, Gernot Stenz |
Integration of Equality Reasoning into the Disconnection Calculus. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Calogero G. Zarba |
A Tableau Calculus for Combining Non-disjoint Theories. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Maria Grazia Buscemi, Ugo Montanari |
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone |
A Calculus of Mobile Resources. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Germain Faure, Claude Kirchner |
Exceptions in the Rewriting Calculus. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jens Palsberg, Di Ma |
A Typed Interrupt Calculus. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Damian Niwinski |
µ-Calculus via Games. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ralf Küsters, Thomas Wilke |
Deciding the First Level of the µ-Calculus Alternation Hierarchy. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Giuseppe Castagna, Francesco Zappa Nardelli |
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jorge A. Baier |
On Procedure Recognition in the Situation Calculus. |
SCCC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ian J. Hayes, Mark Utting |
A sequential real-time refinement calculus. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Birgit Elbl |
Cut elimination for a calculus with context-dependent rules. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55 |
17 | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
Featherweight Java: a minimal core calculus for Java and GJ. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
generic classes, Java, Compilation, language design, language semantics |
17 | C. R. Ramakrishnan 0001 |
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jesse Alt, Sergei N. Artëmov |
Reflective lambda-Calculus. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Júlia Zappe |
Modal µ-Calculus and Alternating Tree Automata. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Olga Marroquín Alonso, David de Frutos-Escrig |
Extending the Petri Box Calculus with Time. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Di Gianantonio |
Game Semantics for the Pure Lazy lambda-calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Filinski |
Normalization by Evaluation for the Computational Lambda-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Christine Röckl, Daniel Hirschkoff, Stefan Berghofer |
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | John C. Mitchell |
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Olivetti, Camilla Schwind |
A Calculus and Complexity Bound for Minimal Conditional Logic. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Reinhold Letz, Gernot Stenz |
DCTP - A Disconnection Calculus Theorem Prover - System Abstract. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa |
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Guozhu Dong, Jianwen Su |
Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. |
SIGMOD Rec. |
2000 |
DBLP DOI BibTeX RDF |
SQL |
17 | Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott |
A Control-Flow Analysis for a Calculus of Concurrent Objects. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
prototype-based, Concurrency, object-oriented, soundness, control-flow analysis |
17 | Nihan Kesim Cicekli, Yakup Yildirim |
Formalizing Workflows Using the Event Calculus. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Hennessy, James Riely |
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gilles Barthe, Femke van Raamsdonk |
Constructor Subtyping in the Calculus of Inductive Constructions. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Ugo Montanari, Marco Pistore |
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Iliano Cervesato, Angelo Montanari |
A Calculus of Macro-Events: Progress Report. |
TIME |
2000 |
DBLP DOI BibTeX RDF |
Processes, Temporal Reasoning |
17 | Chunping Li |
Representing the Process Semantics in the Event Calculus. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Monica Nesi |
Formalising a Value-Passing Calculus in HOL. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Meta-theoretic reasoning, Formal verification, Theorem proving, Higher order logic, Process calculi |
17 | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
Featherwieght Java: A Minimal Core Calculus for Java and GJ. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java, implementation, language design, theoretical foundations |
17 | Ken-etsu Fujita |
Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Dang Van Hung, Dimitar P. Guelev |
Completeness and Decidability of a Fragment of Duration Calculus with Iteration. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Nossum, Michael Thielscher |
Counterfactual Reasoning by Means of a Calculus of Narrative Context. |
CONTEXT |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada |
The Calculus of algebraic Constructions. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ralph-Johan Back, Michael J. Butler |
Fusion and Simultaneous Execution in the Refinement Calculus. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the \pi-Calculus. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Wil Dekkers, Martin W. Bunder, Henk Barendregt |
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification:03B40 |
17 | Jaime Ramos, Amílcar Sernadas |
The Situation and State Calculus versus Branching Temporal Logic. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann |
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
A Lambda Calculus of Objects with Self-Inflicted Extension. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Zhou Chaochen |
Duration Calculus, a Logical Approach to Real-Time Systems. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Zhoujun Li, Huowang Chen |
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Peter Sewell |
Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Huimin Lin |
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Bernhard Beckert, Ulrike Hartmer |
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Christof Monz, Maarten de Rijke |
A Tableaux Calculus for Ambiguous Quantification. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Richard B. Scherl, Michael Bieber, Fabio Vitali |
A Situation Calculus Model of Hypertext. |
HICSS (5) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
Control Flow Analysis for the pi-calculus. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gerardo Schneider, Qiwen Xu |
Towards a Formal Semantics of Verilog Using Duration Calculus. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Paritosh K. Pandya, Dang Van Hung |
Duration Calculus of Weakly Monotonic Time. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya |
Some Decidability Results for Duration Calculus under Synchronous Interpretation. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Simeon Veloudis, Nimal Nissanke |
Duration Calculus in the Specification of Safety Requirements. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Armin Biere |
µcke - Efficient µ-Calculus Model Checking. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Peter Habermehl |
On the Complexity of the Linear-Time mu -calculus for Petri-Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jennifer M. Davoren |
On Hybrid Systems and the Modal µ-calculus. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa |
An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Roussel, Philippe Mathieu |
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Torsten Grust, Joachim Kröger, Dieter Gluche, Andreas Heuer 0001, Marc H. Scholl |
Query Evaluation in CROQUE - Calculus and Algebra Coincide. |
BNCOD |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Y. S. Ramakrishna, Scott A. Smolka |
Partial-Order Reduction in the Weak Modal Mu-Calculus. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
Implicit Typing à la ML for the Join-Calculus. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Piero A. Bonatti, Nicola Olivetti |
A Sequent Calculus for Circumscription. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Giacomo Lenzi |
A Hierarchy Theorem for the µ-Calculus. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Viviana Bono, Michele Bugliesi, Luigi Liquori |
A Lambda Calculus of Incomplete Objects. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jerzy Tiuryn |
A Sequent Calculus for Subtyping Polymorphic Types. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Julian C. Bradfield |
On the Expressivity of the Modal Mu-Calculus. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
verification, temporal logic, descriptive complexity, logic in computer science |
17 | Martin Emms |
Models for Polymorphic Lambek Calculus. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jerzy Tiuryn, Mitchell Wand |
Untyped Lambda-Calculus with Input-Output. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Antoine Rauzy |
Toupie = µ-Calculus + Constraints. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Luca Cardelli |
An Imperative Object Calculus. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Philip Feinsilver, René Schott |
An Operator Calculus Approach to the Evolution of Dynamic Data Structures. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
17 | David Janin, Igor Walukiewicz |
Automata for the Modal mu-Calculus and related Results. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Michele Boreale, Davide Sangiorgi |
A Fully Abstract Semantics for Causality in the Pi-Calculus. |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Nadia Busi, Roberto Gorrieri |
A Petri Net Semantics for pi-Calculus. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Ugo Montanari, Marco Pistore |
Checking Bisimilarity for Finitary pi-Calculus. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia |
The Weak Late pi-Calculus Semantics as Observation Equivalence. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Di Cosmo, Delia Kesner |
Rewriting with Extensional Polymorphic Lambda-Calculus. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Jacques Garrigue |
The Transformation Calculus. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Philippe de Groote |
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | I. S. W. B. Prasetya |
Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Lars-Henrik Eriksson |
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Michele Boreale, Rocco De Nicola |
A Symbolic Semantics for the pi-calculus (Extended Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Jens U. Skakkebæk |
Liveness and Fairness in Duration Calculus. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Xinxin Liu |
Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Viviana Bono, Luigi Liquori |
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem |
A Calculus of Random Generation. |
ESA |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Aaron Watters |
Interpreting a Reconstructed Relational Calculus (Extended Abstract). |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Roberto M. Amadio |
On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Asperti, Cosimo Laneve |
Paths, Computations and Labels in the Lambda-Calculus. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Peter Baumgartner 0001 |
An Order Theory Resolution Calculus. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
Theory Resolution, Automated Theorem Proving |
17 | C.-H. Luke Ong |
Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract). |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen |
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
|