Search results for "calculus"

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