Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Lawrence Moore, David A. Smith	Project CALC: Calculus as a Laboratory Course.	ICCAL	1992	DBLP DOI BibTeX RDF
25	Dale Miller 0001	The pi-Calculus as a Theory in Linear Logic: Preliminary Results.	ELP	1992	DBLP DOI BibTeX RDF
25	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
25	Matthias Felleisen	lambda-V-CS: An Extended lambda-Calculus for Scheme.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF	SCHEME
25	Gérard P. Huet	Induction Principles Formalized in the Calculus of Constructions.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
25	György E. Révész	Rule-Based Semantics for an Extended Lambda-Calculus.	MFPS	1987	DBLP DOI BibTeX RDF
25	Daniel Hirschkoff	A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions.	TPHOLs	1997	DBLP DOI BibTeX RDF
25	Hugo Herbelin	Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies).		1995	RDF
25	Lukasz Majka	Using Fractional Calculus in an Attempt at Modeling a High Frequency AC Exciter.	RRNR	2018	DBLP DOI BibTeX RDF
25	Radoslaw Cioc	Differintegarator Based on Fractional Calculus of Convex Functions.	RRNR	2017	DBLP DOI BibTeX RDF
24	Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	A type discipline for authorization policies.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Authorization, type systems, process calculus, spi calculus
24	Andrew Hughes	A framework for mobile Java applications.	PPPJ	2007	DBLP DOI BibTeX RDF	TNT, Java, mobility, CaSE, CCS, process calculus, ambient calculus
24	James J. Leifer, Robin Milner	Shallow Linear Action Graphs and their Embeddings.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Action calculus, Graph embedding, Process calculus
24	Lindsay Groves	A formal approach to program modification.	APSEC	2000	DBLP DOI BibTeX RDF	semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification
24	Iliano Cervesato, Frank Pfenning	Linear Higher-Order Pre-Unification.	LICS	1997	DBLP DOI BibTeX RDF	linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
24	Juha Plosila, Kaisa Sere	Action Systems in Pipelined Processor Design.	ASYNC	1997	DBLP DOI BibTeX RDF	pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
24	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
24	V. K. Murthy	Transactional programming for distributed agent systems.	ICPADS	1996	DBLP DOI BibTeX RDF	transactional programming, multiagent programming paradigm, transactional logic model, DATRAP, production rule system, high-level data structures, execution semantics, computational complexity, complexity, formal specification, formal specification, database, distributed algorithms, distributed program, granularity, refinement calculus, refinement calculus, active objects, distributed agent systems
24	Alicia D'Anjou, Manuel Graña, Francisco Javier Torrealdea, M. C. Hernández 0001	Solving Satisfiability Via Boltzmann Machines.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	consensus function maxima, simulated annealing, simulated annealing, satisfiability, computational model, set theory, calculus, Boltzmann machines, Boltzmann machines, propositional calculus
24	Jeffrey A. Barnett	Calculating Dempster-Shafer Plausibility.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility
24	Martin K. Solomon	Some properties of relational expressions.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF	equi-join, predicate lock, Concurrency, query optimization, relational algebra, undecidability, relational calculus, predicate calculus, natural join
22	Ronald Garcia, Andrew Lumsdaine, Amr Sabry	Lazy evaluation and delimited control.	POPL	2009	DBLP DOI BibTeX RDF	call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics
22	Alwen Tiu, Rajeev Goré	A Proof Theoretic Analysis of Intruder Theories.	RTA	2009	DBLP DOI BibTeX RDF	AC convergent theories, intruder deduction, security protocols, sequent calculus
22	José L. Balcázar	Deduction Schemes for Association Rules.	Discovery Science	2008	DBLP DOI BibTeX RDF	deductive calculus, Association rules, redundancy
22	Gordon D. Plotkin, Matija Pretnar	A Logic for Algebraic Effects.	LICS	2008	DBLP DOI BibTeX RDF	call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations
22	Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001	Cyclic dependencies in modular performance analysis.	EMSOFT	2008	DBLP DOI BibTeX RDF	fixpoint iteration, performance analysis, real-time calculus
22	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Principal Typings for Explicit Substitutions Calculi.	CiE	2008	DBLP DOI BibTeX RDF	lambda-calculus, explicit substitution, principal typings
22	Xiaoju Dong, Yuxi Fu	Barbed Congruence of Asymmetry and Mismatch.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	bisimulation, axiomatization, process calculus
22	Ke Xu, Yuexuan Wang, Cheng Wu	Formal verification technique for grid service chain model and its application.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	grid service chain, state Pi calculus, model checking, formal method, grid
22	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
22	Chantal Berline, Giulio Manzonetto, Antonino Salibra	Lambda Theories of Effective Lambda Models.	CSL	2007	DBLP DOI BibTeX RDF	Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models
22	Alwen Tiu	A Local System for Intuitionistic Logic.	LPAR	2006	DBLP DOI BibTeX RDF	locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures
22	Jan-David Quesel, Andreas Schäfer 0001	Spatio-temporal Model Checking for Mobile Real-Time Systems.	ICTAC	2006	DBLP DOI BibTeX RDF	real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic
22	Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini	BASS: boxed ambients with safe sessions.	PPDP	2006	DBLP DOI BibTeX RDF	boxed ambients, session types, ambient calculus
22	Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen	A Model Checking Tool Embedded into Services Composition Environment.	GCC	2006	DBLP DOI BibTeX RDF	Pi-calculus type system web services Composition verification tool compatibility
22	Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter	Relating Categorical Semantics for Intuitionistic Linear Logic.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus
22	Naijun Zhan, Mila E. Majster-Cederbaum	Deriving Non-determinism from Conjunction and Disjunction.	FORTE	2005	DBLP DOI BibTeX RDF	Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism
22	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng	Duration-constrained regular expressions.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Regular expressions, Hybrid automata, Duration Calculus
22	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang	Complete Lax Logical Relations for Cryptographic Lambda-Calculi.	CSL	2004	DBLP DOI BibTeX RDF	Cryptographic lambda-calculus, Subscone, Monads, Logical relations
22	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
22	Bo Chen, Mingtian Zhou	A Pure Mereological Approach to Roughness.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Granular Calculus, Mereological Relation, Granular Rough Theory
22	Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough	Dynamic rebinding for marshalling and update, with destruct-time?	ICFP	2003	DBLP DOI BibTeX RDF	programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling
22	Kai Brünnler	Atomic Cut Elimination for classical Logic.	CSL	2003	DBLP DOI BibTeX RDF	atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
22	Anton Setzer	Java as a Functional Programming Language.	TYPES	2002	DBLP DOI BibTeX RDF	object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
22	Hong-Cheu Liu, Jeffrey Xu Yu	Safe Database Queries with External Functions.	IDEAS	1999	DBLP DOI BibTeX RDF	Allowed formulas, query languages, relational algebra, query translation, relational calculus, complex value, domain independence
22	Shuzhen Dong, Qiwen Xu, Naijun Zhan	A Formal Proof of the Rate Monotonic Scheduler.	RTCSA	1999	DBLP DOI BibTeX RDF	Scheduling, Logic, Duration Calculus, Formal Proof, Feasibility
22	Michael Poppleton, Richard Banach	Retrenchment: Extending the Reach of Refinement.	ASE	1999	DBLP DOI BibTeX RDF	development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
22	Arnaud Venet	Automatic Determination of Communication Topologies in Mobile Systems.	SAS	1998	DBLP DOI BibTeX RDF	nonstandard semantics, abstract interpretation, calculus
22	Eugene Eberbach	A Generic Tool for Distributed AI with Matching as Message Passing.	ICTAI	1997	DBLP DOI BibTeX RDF	symbolic and subsymbolic AI, simple modifying algorithm, neural networks, genetic programming, process algebra, cost functions, calculus, inference engine
22	Devesh B. Chokshi, Purandar Bhaduri	Performance analysis of FlexRay-based systems using real-time calculus, revisited.	SAC	2010	DBLP DOI BibTeX RDF	FlexRay, real-time calculus
22	Michal Kozak	Distributive Full Lambek Calculus Has the Finite Model Property.	Stud Logica	2009	DBLP DOI BibTeX RDF	Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice
22	Xian Xu 0001	On Bisimulation Theory in Linear Higher-Order pi-Calculus.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order
22	Hugo Herbelin, Gyesik Lee	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF	Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
22	Stefano Bromuri, Kostas Stathis	Distributed agent environments in the Ambient Event Calculus.	DEBS	2009	DBLP DOI BibTeX RDF	distributed agent environments, research paper, MAS, event calculus
22	Lucia Acciai, Michele Boreale	Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.	ICALP (2)	2009	DBLP DOI BibTeX RDF	behavioural types, safety, decidability, pi-calculus, spatial logic
22	Mylène Maurin, Morgan Magnin, Olivier H. Roux	Modeling of Genetic Regulatory Network in Stochastic pi-Calculus.	BICoB	2009	DBLP DOI BibTeX RDF	Stochastic ?-calculus, System biology, Genetic regulatory network
22	Claus Diem, Emmanuel Thomé	Index Calculus in Class Groups of Non-hyperelliptic Curves of Genus Three.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Index calculus, Non-hyperelliptic curves, Class groups, Jacobians
22	Boban Marinkovic	Optimality conditions for discrete calculus of variations problems.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Discrete calculus of variations, 2-regularity, Mathematical programming, Optimality conditions
22	Benson S. Y. Lam, Alan Wee-Chung Liew, David K. Smith 0001, Hong Yan 0001	A Regularized Clustering Algorithm Based on Calculus of Variations.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	clustering, microarray data analysis, calculus of variations
22	Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
22	Svein Yngvar Willassen	Using simplified event calculus in digital investigation.	SAC	2008	DBLP DOI BibTeX RDF	propositional logic, event calculus, digital investigation
22	Michael Backes 0001, Catalin Hritcu, Matteo Maffei	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.	CSF	2008	DBLP DOI BibTeX RDF	Electronic Voting Protocols, Language-based security, Applied Pi-calculus
22	Lucia Acciai, Michele Boreale	A Type System for Client Progress in a Service-Oriented Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	type systems, service-oriented computing, pi-calculus, process calculi
22	Alexandre Rademaker, Edward Hermann Haeusler	Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.	SBIA	2008	DBLP DOI BibTeX RDF	description logics, proof theory, sequent calculus
22	Joey Paquet, Serguei A. Mokhov, Xin Tong 0002	Design and Implementation of Context Calculus in the GIPSY Environment.	COMPSAC	2008	DBLP DOI BibTeX RDF	Context-driven computation, Context calculus, Intensional programming
22	Lucia Acciai, Michele Boreale	Spatial and Behavioral Types in the Pi-Calculus.	CONCUR	2008	DBLP DOI BibTeX RDF	behavioural type systems, pi-calculus, spatial logic
22	Jacques Duparc, Alessandro Facchini	Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I).	CiE	2008	DBLP DOI BibTeX RDF	Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus
22	Michael Backes 0001, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	SP	2008	DBLP DOI BibTeX RDF	zero-knowledge, Language-based security, automated verification, applied pi-calculus
22	Gaëlle Fontaine	Continuous Fragment of the mu-Calculus.	CSL	2008	DBLP DOI BibTeX RDF	Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus
22	Liming Chen 0001, Chris D. Nugent, Maurice D. Mulvenna, Dewar D. Finlay, Xin Hong, Michael P. Poland	Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home.	ICOST	2008	DBLP DOI BibTeX RDF	behavior reasoning, cognitive modeling, smart homes, assistive living, Event calculus
22	Theodore Patkos, Dimitris Plexousakis	A Theory of Action, Knowledge and Time in the Event Calculus.	SETN	2008	DBLP DOI BibTeX RDF	Action Theories, Event Calculus, Reasoning about Knowledge
22	Martín Abadi, Bruno Blanchet, Cédric Fournet	Just fast keying in the pi calculus.	ACM Trans. Inf. Syst. Secur.	2007	DBLP DOI BibTeX RDF	IP security, key exchange, process calculus
22	Jan Van den Bussche, Stijn Vansummeren	Polymorphic type inference for the named nested relational calculus.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	named nested relational calculus, typability, complexity, Type inference
22	Annabelle McIver, Carroll Morgan	Results on the quantitative µ-calculus qMµ.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Angelic choice, demonic choice, minimax theorem, modal mu-calculus, probabilistic choice, quantitative aspects of programming languages, denotational semantics, game semantics
22	Denis Béchet	Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.	Stud Logica	2007	DBLP DOI BibTeX RDF	parsing, linear logic, context-free grammars, pregroup, Lambek calculus
22	Yu Cheng 0003, Weihua Zhuang, Xinhua Ling	Towards an FBM Model Based Network Calculus Framework with Service Differentiation.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	quality of service, differentiated services, traffic model, network calculus, fractional Brownian motion
22	Jean-Louis Krivine	A call-by-name lambda-calculus machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Lambda-calculus machine, Control instruction, Curry-Howard correspondence
22	Lloyd Humberstone	Investigations into a left-structural right-substructural sequent calculus.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Multiplicative disjunction, Fission, Structural rules, Sequent calculus, Substructural logics
22	Kishore Angrishi, Shu Zhang, Ulrich Killat	Analysis of a Real-Time Network Using Statistical Network Calculus with Approximate Invariance of Effective Bandwidth.	KiVS	2007	DBLP DOI BibTeX RDF	Quality-of-service, Network calculus, effective bandwidth, statistical multiplexing
22	Ryan F. Kelly, Adrian R. Pearce	Knowledge and observations in the situation calculus.	AAMAS	2007	DBLP DOI BibTeX RDF	observability, knowledge, action, situation calculus
22	Steven Givant	The Calculus of Relations as a Foundation for Mathematics.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	calculus of relations, authomated reasoning, set theory, algebraic logic, mathematical foundation
22	Sol Swords, William R. Cook	Soundness of the simply typed lambda calculus in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	lambda-calculus, soundness, ACL2
22	Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman	Operability of p-calculus Technology in P2P Collaboration Business Network.	PDP	2006	DBLP DOI BibTeX RDF	calculus technology service, P2P, formal language, shared computing
22	Chanchal Kumar Roy, Thomas Noll 0001, Banani Roy, James R. Cordy	Towards automatic verification of Erlang programs by pi-calculus translation.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	translation mapping, mobile systems, ?-calculus, functional programming languages
22	Klaus Aehlig, Jan Johannsen	An elementary fragment of second-order lambda calculus.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Elementary recursive functions, complexity, lambda calculus, second order logic
22	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
22	Maciej Farulewski	On Finite Models of the Lambek Calculus.	Stud Logica	2005	DBLP DOI BibTeX RDF	finite model property, substructural logics, Lambek Calculus
22	Marco Antonio Barbosa	A refinement calculus for software components and architectures.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	software architectures, refinement calculus
22	Andreas Schäfer 0001	Axiomatisation and Decidability of Multi-dimensional Duration Calculus.	TIME	2005	DBLP DOI BibTeX RDF	Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic
22	Thomas Noll 0001, Chanchal Kumar Roy	Modeling Erlang in the pi-calculus.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	mobile systems, pi-calculus, functional programming languages
22	Flávio Oquendo	pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	specification languages, Architecture Description Languages, ?-calculus, dynamic architectures, mobile architectures
22	Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin	Predicting cell adhesion probability via the biochemical stochastic pi-calculus.	SAC	2004	DBLP DOI BibTeX RDF	Stochastic ?-calculus, cell adhesion mechanics, formal models J@process algebra, lymphocyte recruitment, concurrency theory
22	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo	A New Synchronization in Finite Stochastic Petri Box Calculus.	ACSD	2003	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
22	Serge Chaumette, Pascal Grange	Parallelizing Multithreaded Java Program: A Criterion and Its p-Calculus Foundation.	IPDPS	2002	DBLP DOI BibTeX RDF	parallelization criterion, Java, pi-calculus, active objects, automatic distribution
22	Naoyuki Nide, Shiro Takata	Deduction systems for BDI logics using sequent calculus.	AAMAS	2002	DBLP DOI BibTeX RDF	sequent calculus, rational agents, BDI logic, deduction system
22	Hanane El Bakkali, Bahia Idrissi Kaitouni	A Predicate Calculus Logic for the PKI Trust Model Analysis.	NCA	2001	DBLP DOI BibTeX RDF	certificate policy, trust relationships, logic-based approach, authentication, certificate, PKI, trust model, predicate calculus
22	Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo	Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	p-calculus, CORBA, open systems, behavioral specifications, protocol specifications
22	Eli Ben-Sasson, Russell Impagliazzo	Random CNF's are Hard for the Polynomial Calculus.	FOCS	1999	DBLP DOI BibTeX RDF	polynomial calculus, satisfiability, proof complexity
22	Marc Gengler, Matthieu Martel	Self-Applicable Partial Evaluation for the pi-Calculus.	PEPM	1997	DBLP DOI BibTeX RDF	meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis
22	Julian C. Bradfield, Javier Esparza, Angelika Mader	An Effective Tableau System for the Linear Time µ-Calculus.	ICALP	1996	DBLP DOI BibTeX RDF	linear-time -calculus, local model-checking, temporal logic, tableau systems