Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Jifeng He 0001, Qiwen Xu	Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Verification, Semantics, Hybrid systems, Duration Calculus
27	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
27	Xiaojuan Zheng, Tao Xu, Ying Jin 0002	Formalizing Active Networks Security with Seal-Calculus.	ISPA	2003	DBLP DOI BibTeX RDF	ANs, active codes, Seal-calculus, security, formalization
27	Matthew Hennessy, James Riely	Information flow vs. resource access in the asynchronous pi-calculus.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference
27	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
27	Robert Demolombe, Erwan Hamon	What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus.	AAMAS	2002	DBLP DOI BibTeX RDF	intentional attitude, situation calculus, formalisms and logics
27	Brendan P. Mahony	The Least Conjunctive Refinement and Promotion in the Refinement Calculus.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
27	Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner	Linearity and the pi-calculus.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	linear types, concurrency, pi-calculus, process calculi, confluence
27	Leonid A. Kalinichenko	Compositional Specification Calculus for Information Systems Development.	ADBIS	1999	DBLP DOI BibTeX RDF	compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
27	Dang Van Hung	Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.	ACSD	1998	DBLP DOI BibTeX RDF	Biphase Mark Protocol, Theorem Prover, Duration Calculus
27	Xiaogang Zhang, John Potter	Class-Based Models in the -Calculus.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	class-based, concurrency, object models, pi-calculus, multiple inheritance
27	Allen Van Gelder, Rodney W. Topor	Safety and Translation of Relational Calculus Queries.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	allowed formulas, evaluable formulas, existential normal, relational algebra, query translation, relational calculus, domain independence
27	Vineet Rajani, Arun Kumar 0002, Dharanipragada Janakiram	Xi-Calculus: A Calculus for Service Interactions.	IEEE SCC	2010	DBLP DOI BibTeX RDF	SOA, Calculus, Service Interactions
25	Yuxi Fu	Fair ambients.	Acta Informatica	2007	DBLP DOI BibTeX RDF
25	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.	TLCA	2007	DBLP DOI BibTeX RDF
25	Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum	Reasoning about static and dynamic properties in alloy: A purely relational approach.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	fork algebras, relational specifications, Alloy
25	Stefan Wölfl 0001, Till Mossakowski	Casl Specifications of Qualitative Calculi.	COSIT	2005	DBLP DOI BibTeX RDF
25	Claudio Sacerdoti Coen	Explanation in Natural Language of lamda-µµ-Terms.	MKM	2005	DBLP DOI BibTeX RDF
25	Iain Phillips 0001, Maria Grazia Vigliotti	Electoral Systems in Ambient Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
25	Tatsuya Abe 0001	A Concurrent System of Multi-ported Processes with Causal Dependency.	APLAS	2004	DBLP DOI BibTeX RDF
25	Davide Sangiorgi	Types, or: Where's the Difference Between CCS and pi?	CONCUR	2002	DBLP DOI BibTeX RDF
25	Luca de Alfaro	Model Checking the World Wide Web.	CAV	2001	DBLP DOI BibTeX RDF
25	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen	What Are Polymorphically-Typed Ambients?	ESOP	2001	DBLP DOI BibTeX RDF
25	Witold Charatonik, Jean-Marc Talbot	The Decidability of Model Checking Mobile Ambients.	CSL	2001	DBLP DOI BibTeX RDF
25	Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy	Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.	J. ACM	1996	DBLP DOI BibTeX RDF	confluency, explicit substitutions
25	Robin Milner	Higher-Order Action Calculi.	CSL	1993	DBLP DOI BibTeX RDF
25	Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz	Some techniques for minimizing and optimizing the rule base of an expert system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
25	John C. Mitchell, Robert Harper 0001	The Essence of ML. (long version: TOPLAS 15(2): 211-252 (1993))	POPL	1988	DBLP DOI BibTeX RDF	ML
25	Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick	Predicting success of a beginning computer course using logistic regression (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
25	Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002	Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
25	Hugo Herbelin, Stéphane Zimmermann	An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form.	TLCA	2009	DBLP DOI BibTeX RDF
25	Michele Pagani, Paolo Tranquilli	Parallel Reduction in Resource Lambda-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
25	Linh Anh Nguyen, Andrzej Szalas	A Tableau Calculus for Regular Grammar Logics with Converse.	CADE	2009	DBLP DOI BibTeX RDF
25	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Enriching an Effect Calculus with Linear Types.	CSL	2009	DBLP DOI BibTeX RDF
25	Paolo Giacomazzi, Gabriella Saddemi	Bounded-Variance Network Calculus: Computation of Tight Approximations of End-to-End Delay.	ICC	2008	DBLP DOI BibTeX RDF
25	Peter Selinger, Benoît Valiron	A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).	FoSSaCS	2008	DBLP DOI BibTeX RDF
25	Huamei Qi, Zhigang Chen 0001, Lianming Zhang	Towards End-to-end Delay Bounds on WMNs Based on Statistical Network Calculus.	ICYCS	2008	DBLP DOI BibTeX RDF
25	Zining Cao	Equivalence Checking for a Finite Higher Order pi-Calculus.	TAP	2008	DBLP DOI BibTeX RDF
25	Jens B. Schmitt, Frank A. Zdarsky, Markus Fidler	Delay Bounds under Arbitrary Multiplexing: When Network Calculus Leaves You in the Lurch...	INFOCOM	2008	DBLP DOI BibTeX RDF
25	Kazunori Ueda	Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
25	Jing Xie 0001, Yuming Jiang 0001	An analysis on error servers for stochastic network calculus.	LCN	2008	DBLP DOI BibTeX RDF
25	Claudia Faggian, Mauro Piccolo	Ludics is a Model for the Finitary Linear Pi-Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
25	Gang Xue, Joan Lu, Shaowen Yao 0001	Investigating Workflow Patterns in Term of Pi-calculus.	CSCWD	2007	DBLP DOI BibTeX RDF
25	Lijun Wu, Jinshu Su	Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus.	LSMS (1)	2007	DBLP DOI BibTeX RDF
25	Andrew Phillips, Luca Cardelli, Giuseppe Castagna	A Graphical Representation for Biological Processes in the Stochastic pi-Calculus.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
25	Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman	p_RBT-calculus Compensation and Exception Handling Protocol.	PDP	2006	DBLP DOI BibTeX RDF
25	Zining Cao	More on Bisimulations for Higher Order pi-Calculus.	FoSSaCS	2006	DBLP DOI BibTeX RDF
25	Frédéric Loulergue	A calculus of functional BSP programs with projection.	IPDPS	2006	DBLP DOI BibTeX RDF
25	Maribel Fernández, Fabien Fleutot	A historic functional and object-oriented calculus.	PPDP	2006	DBLP DOI BibTeX RDF	functional programming, pattern-matching, objects, types
25	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca	Encoding CDuce in the Cpi-Calculus.	CONCUR	2006	DBLP DOI BibTeX RDF
25	Marino Miculan, Giorgio Bacci	Modal Logics for Brane Calculus.	CMSB	2006	DBLP DOI BibTeX RDF
25	Yo Ohta, Masahito Hasegawa	A Terminating and Confluent Linear Lambda Calculus.	RTA	2006	DBLP DOI BibTeX RDF
25	Naoki Kobayashi 0001, Kohei Suenaga, Lucian Wischik	Resource Usage Analysis for the pi-Calculus.	VMCAI	2006	DBLP DOI BibTeX RDF
25	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec	Strong Normalization of the Dual Classical Sequent Calculus.	LPAR	2005	DBLP DOI BibTeX RDF
25	Pablo Sáez	Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.	MICAI	2005	DBLP DOI BibTeX RDF
25	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
25	Mingyu Chen 0002, Jinsong Zhang, Manohar N. Murthi, Kamal Premaratne	TCP congestion avoidance: a network calculus interpretation and performance improvements.	INFOCOM	2005	DBLP DOI BibTeX RDF
25	Alwen Fernanto Tiu	Model Checking for pi-Calculus Using Proof Search.	CONCUR	2005	DBLP DOI BibTeX RDF
25	W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe	A Calculus for the Refinement and Evolution of Multi-user Mobile Applications.	DSV-IS	2005	DBLP DOI BibTeX RDF
25	Fenglei Liu, Zhenhua Yu 0001, Yuanli Cai	Modeling and Analysis of Multi-agent Systems Based on pi-Calculus.	CIS (1)	2005	DBLP DOI BibTeX RDF
25	Sonia Fagorzi, Elena Zucca, Davide Ancona	Modeling multiple class loaders by a calculus for dynamic linking.	SAC	2004	DBLP DOI BibTeX RDF	multiple loaders, Java, dynamic linking
25	Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.	ICTAC	2004	DBLP DOI BibTeX RDF
25	Patrick Baillot, Virgile Mogbil	Soft lambda-Calculus: A Language for Polynomial Time Computation.	FoSSaCS	2004	DBLP DOI BibTeX RDF
25	Krishna Pandit, Jens B. Schmitt, Ralf Steinmetz	Network calculus meets queueing theory -a simulation based approach to bounded queues.	IWQoS	2004	DBLP DOI BibTeX RDF
25	Davide Ancona, Eugenio Moggi	A Fresh Calculus for Name Management.	GPCE	2004	DBLP DOI BibTeX RDF
25	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
25	Radha Jagadeesan, Alan Jeffrey, James Riely	A Calculus of Untyped Aspect-Oriented Programs.	ECOOP	2003	DBLP DOI BibTeX RDF
25	Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar	On the Universal and Existential Fragments of the µ-Calculus.	TACAS	2003	DBLP DOI BibTeX RDF
25	Alexander A. Razborov, Avi Wigderson, Andrew Chi-Chih Yao	Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000): 03F20, 68Q17
25	José Espírito Santo	An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.	LPAR	2002	DBLP DOI BibTeX RDF
25	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
25	Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi	The Complexity of the Graded µ-Calculus.	CADE	2002	DBLP DOI BibTeX RDF
25	Masahito Hasegawa	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.	FLOPS	2002	DBLP DOI BibTeX RDF
25	Oscar Nierstrasz, Franz Achermann	A Calculus for Modeling Software Components.	FMCO	2002	DBLP DOI BibTeX RDF
25	Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.	RTA	2002	DBLP DOI BibTeX RDF
25	Mario Cáccamo, Glynn Winskel	A Higher-Order Calculus for Categories.	TPHOLs	2001	DBLP DOI BibTeX RDF
25	Cristiano Calcagno	Stratified operational semantics for safety and correctness of the region calculus.	POPL	2001	DBLP DOI BibTeX RDF
25	Silvia Ghilezan, Viktor Kuncak	Confluence of Untyped Lambda Calculus via Simple Types.	ICTCS	2001	DBLP DOI BibTeX RDF
25	Leonidas Fegaras, David Maier 0001	Optimizing object queries using an effective calculus.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	query decorrelation, query optimization, object-oriented databases, nested relations
25	Silvano Dal-Zilio	An Interpretation of Typed Concurrent Objects in the Blue Calculus.	IFIP TCS	2000	DBLP DOI BibTeX RDF
25	Peter W. O'Hearn	Resource Interpretations, Bunched Implications and the alpha lambda-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
25	Irina M. Smarandache, Thierry Gautier, Paul Le Guernic	Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
25	Gavin M. Bierman	A Computational Interpretation of the lambda-µ-Calculus.	MFCS	1998	DBLP DOI BibTeX RDF
25	Bruno Pagano	X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.	CADE	1998	DBLP DOI BibTeX RDF
25	Shiu-Kai Chin, Jang Dae Kim	An Instruction Set Process Calculus.	FMCAD	1998	DBLP DOI BibTeX RDF
25	Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández 0001	A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	timed logic, formal verification, refinement, VHDL, denotational semantics, digital circuits, program logic
25	Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001	Explicit Substitutions for the Lambda-Calculus.	ALP/HOA	1997	DBLP DOI BibTeX RDF
25	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	LICS	1997	DBLP DOI BibTeX RDF
25	Paolo Di Blasio, Kathleen Fisher	A Calculus for Concurrent Objects.	CONCUR	1996	DBLP DOI BibTeX RDF
25	Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy	A Calculus of Mobile Agents.	CONCUR	1996	DBLP DOI BibTeX RDF
25	Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi	On Bisimulations for the Asynchronous pi-Calculus.	CONCUR	1996	DBLP DOI BibTeX RDF
25	Huimin Lin	Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
25	Leonidas Fegaras, David Maier 0001	Towards an Effective Calculus for Object Query Languages.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF
25	Robert Muller	A Staging Calculus and its Application to the Verification of Translators.	POPL	1994	DBLP DOI BibTeX RDF
25	Robin Milner	Pi-Nets: A Graphical Form of pi-Calculus.	ESOP	1994	DBLP DOI BibTeX RDF
25	Benjamin Z. Li	A pi-Calculus Specification of Prolog.	ESOP	1994	DBLP DOI BibTeX RDF
25	Patricia Johann, Michael Kohlhase	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.	CADE	1994	DBLP DOI BibTeX RDF
25	Diego Latella, Paola Quaglia	A Fully Parallel Calculus of Synchronizing Processes.	TAPSOFT	1993	DBLP DOI BibTeX RDF
25	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
25	Natarajan Shankar	Proof Search in the Intuitionistic Sequent Calculus.	CADE	1992	DBLP DOI BibTeX RDF