Search results for "Calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Peter H. Schmitt, Wolfgang Wernecke	Tableau Calculus for Order Sorted Logic.	Sorts and Types in Artificial Intelligence	1989	DBLP DOI BibTeX RDF
21	Frank Pfenning, Christine Paulin-Mohring	Inductively Defined Types in the Calculus of Constructions.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
21	Matthias Felleisen, Daniel P. Friedman	A Calculus for Assignments in Higher-Order Languages.	POPL	1987	DBLP DOI BibTeX RDF
21	Loe M. G. Feijs	The Calculus lambda-pi.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
21	Bernd Becker 0001, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof	Hierarchical Design Based on a Calculus of Nets.	DAC	1987	DBLP DOI BibTeX RDF
21	Axel Poigné	Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.	STACS	1984	DBLP DOI BibTeX RDF
21	Klaus J. Berkling, Elfriede Fehr	A Modification of the Lambda-Calculus as a Base for Functional Programming Languages.	ICALP	1982	DBLP DOI BibTeX RDF
21	James R. Slagle	Interpolation Theorems for Resolution in Lower Predicate Calculus.	J. ACM	1970	DBLP DOI BibTeX RDF
21	Andrea Asperti, Juliusz Chroboczek	Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Optimal reduction, Functional programming, Sharing
20	Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001	Relational Methods in the Analysis of While Loops: Observations of Versatility.	RelMiCS	2009	DBLP DOI BibTeX RDF	Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
20	Ernesto Wandeler, Alexander Maxiaguine, Lothar Thiele	Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	end-to-end delay analysis, real-time multimedia analysis, performance analysis, network calculus, real-time calculus
20	Daniel Jackson 0001, Ilya Shlyakhter, Manu Sridharan	A micromodularity mechanism.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language
20	Karl Heinrich Hofmann	An Illustration of the Power of Structure Theory.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	topological semigroup, operator semigroup, van der Waerdens Theorem on arithmetic progressions, models of the untyped -calculus, calculus, semigroup, Ramsey theory
20	Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson	Pseudorandom Generators in Propositional Proof Complexity.	FOCS	2000	DBLP DOI BibTeX RDF	combinatorial pseudorandom generators, Nisan-Wigderson generator, Tseitin tautologies, polynomial calculus with resolution, polynomial calculus, computational complexity, theorem proving, process algebra, resolution, random processes, pseudorandom generators, propositional proof complexity
20	John Power, Edmund Robinson	Logical relations, data abstraction, and structured fibrations.	PPDP	2000	DBLP DOI BibTeX RDF	cartesian closed fibrations, linear ?-calculus, interpretations, ?-calculus, logical relations
20	Abdullah Uz Tansel	Temporal Relational Data Model.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Collapsed set operations, equivalence of relational algebra and calculus, temporal reduction, temporal relational algebra, temporal relational calculus, temporal databases, relational model
20	Yoshikane Takahashi	Fuzzy Database Query Languages and Their Relational Completeness Theorem.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	fuzzy database query languages, relational completeness theorem, fuzzy calculus query language, fuzzy algebra query language, information retrieval, relational databases, query languages, fuzzy sets, fuzzy set theory, relational calculus, truth values, attribute values
20	Leen Helmink	Resolution and Type Theory.	ESOP	1990	DBLP DOI BibTeX RDF	Calculus of Constructions, Type Theory, Natural Deduction, Typed Lambda Calculus
20	Corrado Böhm, Adolfo Piperno	Surjectivity for Finite Sets of Combinators by Weak Reduction.	CSL	1987	DBLP DOI BibTeX RDF	Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus
18	Elvira Di Nardo, Giuseppe Guarino, Domenico Senato	A new method for fast computing unbiased estimators of cumulants.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Univariate and multivariate k-statistics, Univariate and multivariate polykays, Umbral calculus
18	Benoît Montagu, Didier Rémy	Modeling abstract types in modules with open existential types.	POPL	2009	DBLP DOI BibTeX RDF	linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
18	Thein Than Tun, Yijun Yu, Robin C. Laney, Bashar Nuseibeh	Early Identification of Problem Interactions: A Tool-Supported Approach.	REFSQ	2009	DBLP DOI BibTeX RDF	Problem Composition, Problem Interactions, Event Calculus, Problem Frames
18	Tillmann Rendel, Klaus Ostermann, Christian Hofer	Typed self-representation.	PLDI	2009	DBLP DOI BibTeX RDF	self interpretation, reflection, types, lambda calculus, language design
18	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
18	Antonio DiCarlo, Franco Milicchio, Alberto Paoluzzi, Vadim Shapiro	Discrete physics using metrized chains.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	discrete calculus, geometric and physical modeling
18	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
18	Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi	Calculi of meta-variables.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	meta-variable, context, ?-calculus, logical framework
18	Francisco Martín-Recuerda, Dave Robertson 0001	Discovery and Uncertainty in Semantic Web Services.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	F-X, Incidence Calculus, Web services, probability, Semantic Web services, discovery, capability, broker
18	Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli	Extending an ontology-based search with a formalism for spatial reasoning.	SAC	2008	DBLP DOI BibTeX RDF	national spatial data infrastructure, ontology-based search, region connection calculus, spatioterminological reasoning
18	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
18	Aleksander Wojdyga	Short Proofs of Strong Normalization.	MFCS	2008	DBLP DOI BibTeX RDF	permutative reductions, lambda calculus, system F, CPS-translation, strong normalization
18	Ralf Hinze	Functional pearl: streams and unique fixed points.	ICFP	2008	DBLP DOI BibTeX RDF	finite calculus, unique fixed points, streams, generating functions, recurrences, coinduction
18	Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher	Hierarchical Modeling for Computational Biology.	SFM	2008	DBLP DOI BibTeX RDF	model components, DEVS, hierarchical models, pi calculus, multi-level modeling
18	Sarmad Sadik, M. Alade Rahman, Arshad Ali, Hafiz Farooq Ahmad, Hiroki Suguri	A Formal Approach for Design of Agent Based Earthquake Management System (EMS).	SNPD	2008	DBLP DOI BibTeX RDF	Earthquake management system, Software agents, Formalism, Pi-Calculus
18	Julian Eckert, Stefan Schulte 0002, Michael Niemann, Nicolas Repp, Ralf Steinmetz	Worst-Case Workflow Performance Optimization.	ICIW	2008	DBLP DOI BibTeX RDF	Web service Workflow, Quality of Service, Service-oriented Architecture, Performance Optimization, Network Calculus
18	Sylvain Lippi	The graphical Krivine machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Interaction nets, Sharing-graphs, Distributed computation, Linear logic, Rewriting, ?-calculus
18	Swen Jacobs, Uwe Waldmann	Comparing Instance Generation Methods for Automated Reasoning.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning
18	André Platzer	Differential Dynamic Logic for Verifying Parametric Hybrid Systems.	TABLEAUX	2007	DBLP DOI BibTeX RDF	verification of parametric hybrid systems, dynamic logic, quantifier elimination, sequent calculus
18	André Platzer	A Temporal Dynamic Logic for Verifying Hybrid System Invariants.	LFCS	2007	DBLP DOI BibTeX RDF	logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus
18	Nobuyoshi Hashimoto, Hideo Kato, Kyohei Matsui	Training of Tooth Scaling by Simulator - Development of Simulator and Investigation of its Effectiveness -.	ICAT	2007	DBLP DOI BibTeX RDF	Skill training, Skill evaluation, Tooth scaling, Hand scaler, Dental calculus, Mixed Reality
18	Sonia Fagorzi, Elena Zucca	A Framework for Type Safe Exchange of Mobile Code.	TGC	2006	DBLP DOI BibTeX RDF	parametric calculus, static and dynamic typechecking, subtyping, mobile code
18	Sam Tobin-Hochstadt, Matthias Felleisen	Interlanguage migration: from scripts to programs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	interlanguage migration, contract, ?-calculus, module systems
18	Corin Pitcher, James Riely	Dynamic Policy Discovery with Remote Attestation.	FoSSaCS	2006	DBLP DOI BibTeX RDF	code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation
18	Bernhard Beckert, André Platzer	Dynamic Logic with Non-rigid Functions.	IJCAR	2006	DBLP DOI BibTeX RDF	logical foundations of programming languages, object-orientation, software verification, Dynamic logic, sequent calculus, program logic
18	Roberta Gori, Francesca Levi	A New Occurrence Counting Analysis for BioAmbients.	APLAS	2005	DBLP DOI BibTeX RDF	Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
18	Florin Ciucu, Almut Burchard, Jörg Liebeherr	A network service curve approach for the stochastic analysis of networks.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	network service curve, stochastic network calculus, quality-of-service
18	David Lambert, David Robertson 0001	Matchmaking multi-party interactions using historical performance data.	AAMAS	2005	DBLP DOI BibTeX RDF	incidence calculus, service composition
18	Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi	Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	lambda conversion, implementation, lambda calculus, explicit substitution
18	Alain Griffault, Aymeric Vincent	The Mec 5 Model-Checker.	CAV	2004	DBLP DOI BibTeX RDF	AltaRica, model-checking, BDDs, calculus
18	Nobuko Yoshida	Channel dependent types for higher-order mobile processes.	POPL	2004	DBLP DOI BibTeX RDF	the higher-order ?-calculus, access control, types, secrecy, mobile processes
18	Silvio do Lago Pereira, Leliane Nunes de Barros	Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.	SBIA	2004	DBLP DOI BibTeX RDF	planning, theorem proving, abduction, event calculus
18	Stefan Blom	An Approximation Based Approach to Infinitary Lambda Calculi.	RTA	2004	DBLP DOI BibTeX RDF	infinitary rewriting, lambda calculus
18	Bo Chen, Mingtian Zhou	ODWIS as a Prototype of Knowledge Service Layer in Semantic Grid.	PDCAT	2004	DBLP DOI BibTeX RDF	Ontology-Driven Web Information System, Granular Representation Calculus, Semantic Grid
18	Dexter Kozen, Jerzy Tiuryn	Substructural logic and partial correctness.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests
18	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
18	Dietmar Berwanger	Game Logic is Strong Enough for Parity Games.	Stud Logica	2003	DBLP DOI BibTeX RDF	game logic, modal mu-calculus, model checking, expressive power
18	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Theorem Proving Modulo.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
18	Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo	An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF	Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic
18	Jan Friso Groote, Tim A. C. Willemse	A Checker for Modal Formulae for Processes with Data.	FMCO	2003	DBLP DOI BibTeX RDF	First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL
18	Amal El Fallah Seghrouchni, Alexandru Suna	CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents.	PROMAS	2003	DBLP DOI BibTeX RDF	Mobile agents, Agent oriented programming, Ambient calculus
18	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
18	Bernhard K. Aichernig	The Commuting V-Diagram.	CSL	2003	DBLP DOI BibTeX RDF	formal methods, refinement, contracts, specification-based testing, refinement calculus
18	Viviana Bono, Michele Bugliesi, Silvia Crafa	Typed interpretations of extensible objects.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
18	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl	Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.	SAS	2002	DBLP DOI BibTeX RDF	uniform Horn clauses, strongly recognizable relations, Program analysis, Spi calculus
18	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
18	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak	Logical Relations for Monadic Types.	CSL	2002	DBLP DOI BibTeX RDF	semantics, monads, logical relations, typed lambda-calculus
18	Jean-François Dufourd, Sven Luther	Interacting with parametrized geometric objects using lambda-terms.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	interaction, functional programming, geometric modeling, parameterization, ?-calculus, boundary representation
18	Daniel Hirschkoff	Bisimulation verification using the up to techniques.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Up to bisimulation, Verification, Bisimulation, Pi-calculus
18	Silvio Valentini	An elementary proof of strong normalization for intersection types.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Normalization, Lambda calculus, Intersection types
18	Georg Struth	Calculating Church-Rosser Proofs in Kleene Algebra.	RelMiCS	2001	DBLP DOI BibTeX RDF	$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics
18	Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn	Linear Ramified Higher Type Recursion and Parallel Complexity.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	higher types, parallel computation, recursion, linear logic, lambda calculus, implicit computational complexity, NC
18	Liming Chen 0001, Kamal Bechkoum, Gordon Clapworthy	A logical approach to high-level agent control.	Agents	2001	DBLP DOI BibTeX RDF	design methodologies, autonomous agents, instructability, event calculus, action selection and planning
18	Huimin Lin	Model Checking Value-Passing Processes.	APSEC	2001	DBLP DOI BibTeX RDF	value- passing processes, verification algorithms, Model checking, mu-calculus
18	Michele Boreale	Symbolic Trace Analysis of Cryptographic Protocols.	ICALP	2001	DBLP DOI BibTeX RDF	formal methods for security protocols, concurrency, spi-calculus
18	Hong Ki Thae, Dang Van Hung	A Case Study on Formal Design of Hybrid Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	Discrete Design, Embedded Systems, Control Theory, Duration Calculus
18	Olivier Danvy, Morten Rhiger	A Simple Take on Typed Abstract Syntax in Haskell-like Languages.	FLOPS	2001	DBLP DOI BibTeX RDF	Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax
18	Yohji Akama	Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.	CSL	2001	DBLP DOI BibTeX RDF	partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
18	Freeman Yufei Huang, David B. Skillicorn	The Spider Model of Agents.	MATA	2001	DBLP DOI BibTeX RDF	Java, mobile agents, locality, agent models, formal reasoning, ambient calculus
18	Nobuko Yoshida, Matthew Hennessy	Assigning Types to Processes.	LICS	2000	DBLP DOI BibTeX RDF	higher-order pi-calculus, distributed systems, concurrency, type system, subtyping
18	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
18	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Together with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
18	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Preservation of strong normalization, ?-Calculus, Explicit substitutions
18	Wenpin Jiao, Zhongzhi Shi	A Dynamic Architecture for Multi-Agent Systems.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Multi-Agent System, Software Architecture, pi-Calculus
18	Thorsten Altenkirch, Bernhard Reus	Monadic Presentations of Lambda Terms Using Generalized Inductive Types.	CSL	1999	DBLP DOI BibTeX RDF	inductive types, Type Theory, category theory, ?-calculus
18	Francesca Levi	A Symbolic Semantics for Abstract Model Checking.	SAS	1998	DBLP DOI BibTeX RDF	Model checking, abstract interpretation, ?-calculus
18	Damian Weber	Computing Discrete Logarithms with Quadratic Number Rings.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Index Calculus, Discrete Logarithms, Number Field Sieve
18	Ulrike Lechner	Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.	FASE	1998	DBLP DOI BibTeX RDF	Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
18	Hongwei Xi	Evaluation Under Lambda Abstraction.	PLILP	1997	DBLP DOI BibTeX RDF	partial evaluation, lambda-calculus, run-time code generation
18	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
18	Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose	Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF	Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
18	Morten Heine Sørensen	Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi.	CAAP	1996	DBLP DOI BibTeX RDF	reduction strategies, effectiveness, calculus
18	Roberto M. Amadio	On the Adequacy of Per Models.	MFCS	1993	DBLP DOI BibTeX RDF	Second order lambda-calculus, Per models, Denotational vs. Operational Semantics
18	Martin Gogolla, Uwe Hohenstein	Towards a Semantic View of an Extended Entity-Relationship Model.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness
18	Karine Altisen, Matthieu Moy	ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre.	ECRTS	2010	DBLP DOI BibTeX RDF	Modular Performance Analysis, Formal methods, Observer, Lustre, Real-Time Calculus
18	Xiangyang Huang, Xiao Xin, Wenjun Wu	Representing Non-deterministic Actions within the Situation Calculus for Autonomous Characters.	IITSI	2010	DBLP DOI BibTeX RDF	non-deterministic actions, epistemic fluent, situation calculus, linguistic variable
18	Jiuyun Xu, Wengong Yu, Kun Chen, Stephan Reiff-Marganiec	Web Services Feature Interaction Detection Based on Situation Calculus.	SERVICES	2010	DBLP DOI BibTeX RDF	Interaction Detection, Web services, Feature Interaction, OWL-S, Situation Calculus
18	Alwen Tiu, Jeremy E. Dawson	Automating Open Bisimulation Checking for the Spi Calculus.	CSF	2010	DBLP DOI BibTeX RDF	open bisimulation, symbolic trace analysis, intruder deduction, spi-calculus
18	Li Kuang, Yingjie Xia, ShuiGuang Deng, Jian Wu 0001	Analyzing Behavioral Substitution of Web Services Based on Pi-calculus.	ICWS	2010	DBLP DOI BibTeX RDF	Services Substitution, p-calculus, Bi-simulation theory, Web Services, Behavioral Analysis
18	Kenji Ohmori, Tosiyasu L. Kunii	A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.	CW	2010	DBLP DOI BibTeX RDF	Invariant Preserving, Multi Threads, Event Driven, Homotopy, Pi-calculus, Abstraction Hierarchy
18	Murtaza Zafer, Eytan H. Modiano	A calculus approach to energy-efficient data transmission with quality-of-service constraints.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	quality of service (QoS), wireless, delay, energy, rate control, network calculus