Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Jens B. Schmitt, Utz Roedig |
Sensor Network Calculus - A Framework for Worst Case Analysis. |
DCOSS |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
21 | José Luis Freire, Enrique Freire Brañas, Antonio Blanco |
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Andrew D. Gordon 0001, Alan Jeffrey |
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ryo Yoshinaka |
Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder |
Towards a Coalgebraic Semantics of the Ambient Calculus. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Pinar Yolum, Munindar P. Singh |
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
methodologies, commitments, agent communication languages and protocols |
21 | Antonio Bucciarelli, Antonino Salibra |
The Sensible Graph Theories of Lambda Calculus. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gérard Ligozat, Jochen Renz |
What Is a Qualitative Calculus? A General Framework. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
21 | William M. Farmer |
Formalizing Undefinedness Arising in Calculus. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Frank Dylla, Reinhard Moratz |
Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus. |
Spatial Cognition |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You, Minglu Li 0001 |
Membrane Calculus: A Formal Method for Grid Transactions. |
GCC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Johannes Borgström, Sébastien Briais, Uwe Nestmann |
Symbolic Bisimulation in the Spi Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Kenji Taguchi 0001, Jin Song Dong, Gabriel Ciobanu |
Relating pi-calculus to Object-Z. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Feng Wan, Munindar P. Singh |
Mapping Dooley Graphs and Commitment Causality to the p-Calculus. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Luca Durante, Riccardo Sisto, Adriano Valenzano |
Automatic testing equivalence verification of spi calculus specifications. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
equivalence verification, Cryptographic protocols, state space exploration |
21 | Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda |
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ken-etsu Fujita |
A Sound and Complete CPS-Translation for lambda-mu-Calculus. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Frédéric Blanqui |
Inductive Types in the Calculus of Algebraic Constructions. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ozan Kahramanogullari, Michael Thielscher |
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
Genericity and the pi-Calculus. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Gadducci |
Term Graph Rewriting for the pi-Calculus. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
process calculi, reduction semantics, Term graph rewriting |
21 | Jijuan Zheng |
A Formalism of Contextualized Predicate Calculus for Information Integration. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving |
21 | Steffen van Bakel, Ugo de'Liguoro |
Logical Semantics for the First Order varsigma-Calculus. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Peter Baumgartner 0001, Cesare Tinelli |
The Model Evolution Calculus. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Olivier Brunet |
A Labelled Sequent-Calculus for Observation Logic. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jan J. M. M. Rutten |
An Application of Stream Calculus to Signal Flow Graphs. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
21 | René David, Bruno Guillaume |
Strong Normalization of the Typed gammaws-Calculus. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien |
A Calculus for Mobile Network Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Johannes Borgström, Uwe Nestmann |
On Bisimulations for the Spi Calculus. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
21 | François Pottier |
A Simple View of Type-Secure Information Flow in the p-Calculus. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Abbas Edalat, André Lieutier |
Domain Theory and Differential Calculus (Functions of one Variable). |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Rob Miller 0002, Murray Shanahan |
Some Alternative Formulations of the Event Calculus. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Radu Mateescu 0001 |
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Cesare Tinelli |
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Dimitrios Vogiatzis, Andreas Stafylopatis |
Mapping the Growing Neural Gas to Situation Calculus. |
ICANN |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Pinar Yolum, Munindar P. Singh |
Flexible protocol specification and execution: applying event calculus planning using commitments. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
commitments, agent communication languages and protocols, methodologies and tools |
21 | Vitus S. W. Lam, Julian A. Padget |
Formalization of UML Statechart Diagrams in the p-Calculus. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum |
Interpretability of First-Order Dynamic Logic in a Relational Calculus. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Ralph Matthes |
Parigot's Second Order lambda-mu-Calculus and Inductive Types. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
Sequentiality and the pi-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama |
A Simply Typed Context Calculus with First-Class Environments. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton |
A Query Calculus for Spatio-Temporal Object Databases. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Tetsuo Ida, Mircea Marin, Taro Suzuki |
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Davide Sangiorgi, David Walker 0008 |
On Barbed Equivalences in pi-Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Richard Statman |
Church's Lambda Delta Calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Hölldobler, Dietrich Kuske |
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Oltea Mihaela Herescu, Catuscia Palamidessi |
Probabilistic Asynchronous pi-Calculus. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Orna Kupferman, Moshe Y. Vardi |
µ-Calculus Synthesis. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Peter Störr, Michael Thielscher |
A New Equational Foundation for the Fluent Calculus. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Roland Carl Backhouse |
Galois Connections and Fixed Point Calculus. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Michel Parigot |
Strong Normalization of Second Order Symmetric lambda-Calculus. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy |
Inheritance in the Join Calculus. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | John Funge |
Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents. |
Reliab. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Martin Leucker |
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Sophia Drossopoulou, Susan Eisenbach, David Wragg |
A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke |
Region Analysis and the Polymorphic Lambda Calculus. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
semantics, program analysis, garbage collection, memory management, polymorphism |
21 | Loe M. G. Feijs |
Modelling Microsoft COM Using pi-Calculus. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Allen Ginsberg, Ramesh Viswanathan |
A calculus for dynamic customization of virtual environments. |
ACM Multimedia (1) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ugo Montanari, Marco Pistore |
Finite State Verification for the Asynchronous pi-Calculus. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Samin S. Ishtiaq, David J. Pym |
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine |
The Receptive Distributed pi-Calculus (Extended Abstract). |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ana Cavalcanti 0001, Jim Woodcock 0001 |
ZRC - A Refinement Calculus for Z. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Formal methods, Weakest preconditions, Program development |
21 | Eugenia Ternovskaia |
Inductive Definability and the Situation Calculus. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Jürgen Dingel |
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Joëlle Despeyroux, Pierre Leleu |
A Modal Lambda Calculus with Iteration and Case Constructs. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Viviana Bono, Kathleen Fisher |
An Imperative, First-Order Calculus with Object Extension. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Joseph H. Silverman, Joe Suzuki |
Elliptic Curve Discrete Logarithms and the Index Calculus. |
ASIACRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Julian A. Padget, Russell J. Bradford |
A pi-calculus Model of a Spanish Fish Market - Preliminary Report. |
AMET |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Schwendimann |
A New One-Pass Tableau Calculus for PLTL. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Jörg Tiede |
Lambek Calculus Proofs and Tree Automata. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Luca Chittaro, Carlo Combi |
Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus. |
ARTDB |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Martín Abadi, Andrew D. Gordon 0001 |
Reasoning about Cryptographic Protocols in the Spi Calculus. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Tyrone O'Neill, Norman Y. Foo |
Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Julia L. Lawall, Harry G. Mairson |
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Thérèse Hardin, Luc Maranget, Bruno Pagano |
Functional Back-Ends within the Lambda-Sigma Calculus. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
21 | David Janin, Igor Walukiewicz |
On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Carolina Lavatelli |
Algebraic Interpretation of Lambda Calculus with Resources. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
The Call-by-Need Lambda Calculus. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Clare E. Martin |
Towards a Calculus of Predicate Transformers. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Michael R. Donat |
Enhancing cleanroom techniques with refinement calculus. |
CASCON |
1995 |
DBLP BibTeX RDF |
|
21 | Philippe de Groote |
A CPS-Translation of the Lambda-µ-Calculus. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
21 | David Walker 0008 |
On Bisimulation in the pi-calculus. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Jan Kuper |
Usability: Formalising (Un)definedness in Typed Lambda Calculus. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
21 | E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
On Model-Checking for Fragments of µ-Calculus. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Nigel Ward |
Adding Specification Constructors to the Refinement Calculus. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Simon J. Gay |
A Sort Inference Algorithm for the Polyadic Pi-Calculus. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
Filter Models for a Parallel and Non Deterministic Lambda-Calculus. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Kenneth R. Wood |
A Practical Approach to Software Engineering Using Z and the Refinement Calculus. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
Z |
21 | Davide Sangiorgi |
A Theory of Bisimulation for the pi-Calculus. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Regimantas Pliuskevicius |
Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness |
21 | Alessandro Berarducci, Corrado Böhm |
A Self-Interpreter of Lambda Calculus Having a Normal Form. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Pierre-Louis Curien, Roberto Di Cosmo |
A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
21 | John Gateley, Bruce F. Duba |
Call-by-Value Combinatory Logic and the Lambda-Value Calculus. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Daniel J. Dougherty |
Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Ryohei Nakano |
Translation with Optimization from Relational Calculus to Relational Algebra Having Aggregate Functions. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Radha Jagadeesan, Prakash Panangaden |
A Domain-Theoretic Model for a Higher-Order Process Calculus. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|