Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Davide Sangiorgi	Internal Mobility and Agent-Passing Calculi.	ICALP	1995	DBLP DOI BibTeX RDF
17	Ichiro Satoh, Mario Tokoro	Time and Asynchrony in Interactions among Distributed Real-Time Objects.	ECOOP	1995	DBLP DOI BibTeX RDF
17	Huimin Lin	Unique Fixpoint Induction for Mobile Processes.	CONCUR	1995	DBLP DOI BibTeX RDF
17	Torben Braüner	The Girard Translation Extended with Recursion.	CSL	1994	DBLP DOI BibTeX RDF
17	Tanel Tammet	Completeness of Resolution for Definite Answers with Case Analysis.	CSL	1994	DBLP DOI BibTeX RDF
17	Chaochen Zhou	Duration Calculi: An Overview (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
17	Klaus Mayr	Refinements and Extensions of Model Elimination.	LPAR	1993	DBLP DOI BibTeX RDF
17	Stephen Weeks, Matthias Felleisen	On the Orthogonality of Assignments and Procedures in Algol.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL-60, ALGOL
17	Robin Milner	Action Calculi, or Syntactic Action Structures.	MFCS	1993	DBLP DOI BibTeX RDF
17	Gérard Boudol	Some Chemical Abstract Machines.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
17	Thérèse Hardin	Eta-conversion for the Languages of Explicit Substitutions.	ALP	1992	DBLP DOI BibTeX RDF
17	David Sands	Time Analysis, Cost Equivalence and Program Refinement.	FSTTCS	1991	DBLP DOI BibTeX RDF
17	Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy	Explicit Substitutions.	POPL	1990	DBLP DOI BibTeX RDF
17	David J. Pym, Lincoln A. Wallen	Investigations into Proof-Search in a System of First-Order Dependent Function Types.	CADE	1990	DBLP DOI BibTeX RDF
17	Christoph Walther	Many-Sorted Inferences in Automated Theorem Proving.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
17	José Meseguer 0001	Relating Models of Polymorphism.	POPL	1989	DBLP DOI BibTeX RDF
17	Michael Beeson	Some Applications of Gentzen's Proof Theory in Automated Deduction.	ELP	1989	DBLP DOI BibTeX RDF
17	Richard Kennaway, M. Ronan Sleep	Director Strings as Combinators.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
17	Jonathan K. Lee, Jens Palsberg	Featherweight X10: a core calculus for async-finish parallelism.	PPoPP	2010	DBLP DOI BibTeX RDF	parallelism, static analysis, operational semantics
17	Neil D. Jones, Lars Kristiansen	A flow calculus of mwp-bounds for complexity analysis.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	automatable complexity analysis of imperative programs, static program anaysis, Implicit computational complexity
17	Frank Puhlmann, Mathias Weske	A Look Around the Corner: The Pi-Calculus.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
17	Andrew H. Gleibman	Intelligent Processing of an Unrestricted Text in First Order String Calculus.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF
17	Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry	The Arrow Calculus as a Quantum Programming Language.	WoLLIC	2009	DBLP DOI BibTeX RDF
17	Mudhakar Srivatsa, Dakshi Agrawal, Steffen Reidt	A metadata calculus for secure information sharing.	CCS	2009	DBLP DOI BibTeX RDF	access control, risk management, information flow
17	Naoki Kobayashi 0001, C.-H. Luke Ong	A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.	LICS	2009	DBLP DOI BibTeX RDF
17	Ugo Dal Lago, Simone Martini 0001	On Constructor Rewrite Systems and the Lambda-Calculus.	ICALP (2)	2009	DBLP DOI BibTeX RDF
17	Wojciech Buszkowski, Maciej Farulewski	Nonassociative Lambek Calculus with Additives and Context-Free Languages.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
17	Paolo Besana, Adam Barker	An Executable Calculus for Service Choreography.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
17	Matthew Curland, Terry A. Halpin, Kurt Stirewalt	A Role Calculus for ORM.	OTM Workshops	2009	DBLP DOI BibTeX RDF
17	Hui Hou, Jinzhao Wu	Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web.	CSE (2)	2009	DBLP DOI BibTeX RDF
17	Natthapong Jungteerapanich	A Tableau System for the Modal µ-Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
17	Régis Alenda, Nicola Olivetti, Camilla Schwind	Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
17	Bianca Boretti, Sara Negri	Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
17	Mathias John, Cédric Lhoussaine, Joachim Niehren	Dynamic Compartments in the Imperative pi-Calculus.	CMSB	2009	DBLP DOI BibTeX RDF
17	Yury Savateev	Product-Free Lambek Calculus Is NP-Complete.	LFCS	2009	DBLP DOI BibTeX RDF
17	Makoto Tatsuta	Non-Commutative First-Order Sequent Calculus.	CSL	2009	DBLP DOI BibTeX RDF
17	Jingwei Huang 0002, David M. Nicol	A calculus of trust and its application to PKI and identity management.	IDtrust	2009	DBLP DOI BibTeX RDF	semantics of trust, social networks, uncertainty, PKI, risk assessment, identity management, trust modeling
17	Stephan Grimm, Pascal Hitzler	A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}.	RR	2009	DBLP DOI BibTeX RDF
17	Xiaoyue Jiang	New perspectives on network calculus.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
17	A. Y. Vaninsky	Using Graphing Calculators for Teaching Advanced Calculus Courses.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
17	Hong Zhang, Lei Liu	An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting.	ISECS	2008	DBLP DOI BibTeX RDF	Boxed Ambients, the ambient occurrence counting, abstract interpretation
17	Philipp Rümmer	A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic.	LPAR	2008	DBLP DOI BibTeX RDF
17	Walid Belkhir, Luigi Santocanale	The Variable Hierarchy for the Lattice µ-Calculus.	LPAR	2008	DBLP DOI BibTeX RDF
17	Jing Li 0062, Huibiao Zhu, Jifeng He 0001	An Observational Model for Transactional Calculus of Services Orchestration.	ICTAC	2008	DBLP DOI BibTeX RDF
17	Roberto Bruni, Leonardo Gaetano Mezzina	Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.	AMAST	2008	DBLP DOI BibTeX RDF
17	Hualiang Li, Tülay Adali	Stability analysis of complex maximum likelihood ica using Wirtinger calculus.	ICASSP	2008	DBLP DOI BibTeX RDF
17	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
17	Bruno Barras, Bruno Bernardo	The Implicit Calculus of Constructions as a Programming Language with Dependent Types.	FoSSaCS	2008	DBLP DOI BibTeX RDF
17	Hugo Torres Vieira, Luís Caires, João Costa Seco	The Conversation Calculus: A Model of Service-Oriented Computation.	ESOP	2008	DBLP DOI BibTeX RDF
17	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Monadic Translation of Intuitionistic Sequent Calculus.	TYPES	2008	DBLP DOI BibTeX RDF
17	Peter Höfner, Georg Struth	On Automating the Calculus of Relations.	IJCAR	2008	DBLP DOI BibTeX RDF
17	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
17	Leonardo Gaetano Mezzina	How to Infer Finite Session Types in a Calculus of Services and Sessions.	COORDINATION	2008	DBLP DOI BibTeX RDF
17	Étienne Lozes, Jules Villard	A Spatial Equational Logic for the Applied pi-Calculus.	CONCUR	2008	DBLP DOI BibTeX RDF
17	Heverton B. Macêdo, Marcelo J. L. Lima, Gina M. B. Oliveira	Searching for a Cryptographic Model Based on the Pre-Image Calculus of Cellular Automata.	SBRN	2008	DBLP DOI BibTeX RDF
17	Marek Kwiatkowski, Ian Stark	The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.	CMSB	2008	DBLP DOI BibTeX RDF
17	Manfred Schmidt-Schauß, Elena Machkasova	A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.	RTA	2008	DBLP DOI BibTeX RDF
17	Temesghen Kahsai, Marino Miculan	Implementing Spi Calculus Using Nominal Techniques.	CiE	2008	DBLP DOI BibTeX RDF
17	Roland Meyer 0001	On Boundedness in Depth in the pi-Calculus.	IFIP TCS	2008	DBLP DOI BibTeX RDF
17	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
17	Marco Pedicini, Francesco Quaglia	PELCR: Parallel environment for optimal lambda-calculus reduction.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	optimal reduction, virtual reduction, Functional programming, linear logic, parallel implementation, geometry of interaction
17	Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind	A sequent calculus and a theorem prover for standard conditional logics.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Analytic sequent calculi, labeled deductive systems, logic programming, proof theory, automated deduction, conditional logics
17	Michael Moortgat	Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF
17	Annie Foret	Pregroup Calculus as a Logic Functor.	WoLLIC	2007	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
17	Thomas Bolander, René Rydhof Hansen	Hybrid Logical Analyses of the Ambient Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF	static analysis, Hybrid logic, mobile ambients
17	Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei	A calculus of challenges and responses.	FMSE	2007	DBLP DOI BibTeX RDF	static analysis, authentication protocols, process calculi
17	Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu 0001, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan	Modelling with Relational Calculus of Object and Component Systems - rCOS.	CoCoME	2007	DBLP DOI BibTeX RDF	Design, Refinement, Transformation, Requirements Modelling
17	Slawomir P. Maludzinski, Grzegorz Dobrowolski	Agent Environment and Knowledge in Distributed Join Calculus.	CEEMAS	2007	DBLP DOI BibTeX RDF
17	Zining Cao	Bisimulations for a Distributed Higher Order pi -Calculus.	ICTAC	2007	DBLP DOI BibTeX RDF
17	Christophe Fouqueré	A Logical Calculus for Modelling Interferences.	ICTAC	2007	DBLP DOI BibTeX RDF
17	René David, Karim Nour	An Arithmetical Proof of the Strong Normalization for the lambda -Calculus with Recursive Equations on Types.	TLCA	2007	DBLP DOI BibTeX RDF
17	Lionel Vaux	Convolution λ̅μ-Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
17	Dang Van Hung	Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
17	Daniel Hirschkoff, Damien Pous	A Distribution Law for CCS and a New Congruence Result for the pi-Calculus.	FoSSaCS	2007	DBLP DOI BibTeX RDF
17	Etienne E. Kerre	An Overview of Fuzzy Relational Calculus and Its Applications.	MDAI	2007	DBLP DOI BibTeX RDF
17	Alwen Tiu	A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract.	APLAS	2007	DBLP DOI BibTeX RDF
17	Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina	A Probabilistic Applied Pi-Calculus.	APLAS	2007	DBLP DOI BibTeX RDF
17	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Concurrent Calculus with Atomic Transactions.	ESOP	2007	DBLP DOI BibTeX RDF
17	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
17	Jens B. Schmitt, Frank A. Zdarsky, Lothar Thiele	A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing.	RTSS	2007	DBLP DOI BibTeX RDF
17	Roberto M. Amadio, Frédéric Dabrowski	Feasible reactivity in a synchronous Pi-calculus.	PPDP	2007	DBLP DOI BibTeX RDF	concurrency, reactivity, resources control
17	Céline Kuttler, Cédric Lhoussaine, Joachim Niehren	A Stochastic Pi Calculus for Concurrent Objects.	AB	2007	DBLP DOI BibTeX RDF
17	Thomas Ehrhard, Olivier Laurent 0001	Interpreting a Finitary Pi-calculus in Differential Interaction Nets.	CONCUR	2007	DBLP DOI BibTeX RDF
17	Laura Bozzelli	Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.	CONCUR	2007	DBLP DOI BibTeX RDF
17	Andrew Phillips, Luca Cardelli	Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus.	CMSB	2007	DBLP DOI BibTeX RDF
17	Sergei N. Artëmov, Eduardo Bonelli	The Intensional Lambda Calculus.	LFCS	2007	DBLP DOI BibTeX RDF
17	Hidenori Kurokawa	Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.	LFCS	2007	DBLP DOI BibTeX RDF
17	Fabio Gadducci, Alberto Lluch-Lafuente	Graphical Encoding of a Spatial Logic for the pi -Calculus.	CALCO	2007	DBLP DOI BibTeX RDF
17	Konstantin Korovin, Andrei Voronkov	Integrating Linear Arithmetic into Superposition Calculus.	CSL	2007	DBLP DOI BibTeX RDF
17	Fei Xu, Zhiwei Yu	A Workflow Verification Method Based on Calculus.	TASE	2007	DBLP DOI BibTeX RDF
17	Céline Kuttler	Simulating Bacterial Transcription and Translation in a Stochastic pi Calculus.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
17	Almut Burchard, Jörg Liebeherr, Stephen D. Patek	A Min-Plus Calculus for End-to-End Statistical Service Guarantees.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
17	Roberto Bruni, Ivan Lanese	PRISMA: A Mobile Calculus with Parametric Synchronization.	TGC	2006	DBLP DOI BibTeX RDF
17	Silvia Crafa, Sabina Rossi	P-congruences as non-interference for the pi-calculus.	FMSE	2006	DBLP DOI BibTeX RDF	process calculi, noninterference, downgrading
17	Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli	Lemma Learning in the Model Evolution Calculus.	LPAR	2006	DBLP DOI BibTeX RDF
17	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulation Congruences in the Calculus of Looping Sequences.	ICTAC	2006	DBLP DOI BibTeX RDF
17	Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
17	Ming-Deh A. Huang, Wayne Raskind	Signature Calculus and Discrete Logarithm Problems.	ANTS	2006	DBLP DOI BibTeX RDF
17	Jing Zhou, Guosun Zeng	Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus.	CIT	2006	DBLP DOI BibTeX RDF
17	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the Confluence of lambda-Calculus with Conditional Rewriting.	FoSSaCS	2006	DBLP DOI BibTeX RDF