Search results for "q-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Andreas Schäfer 0001	A Calculus for Shapes in Time and Space.	ICTAC	2004	DBLP DOI BibTeX RDF	Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic
31	Martin Hyland	Abstract Interpretation of Proofs: Classical Propositional Calculus.	CSL	2004	DBLP DOI BibTeX RDF	classical propositional calculus, category theory, proof theory
31	David Starobinski, Mark G. Karpovsky, Lev Zakrevski	Application of network calculus to general topologies using turn-prohibition.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	acyclic networks, quality of service, network calculus, network stability
31	Martin Fränzle	Take It NP-Easy: Bounded Model Construction for Duration Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF	Discrete-time Duration Calculus, Bounded model construction, Complexity, Model construction
31	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	On the Variable Hierarchy of the Modal µ-Calculus.	CSL	2002	DBLP DOI BibTeX RDF	modal &#55-calculus, games, descriptive complexity
31	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
31	Simon J. Gay	A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.	TPHOLs	2001	DBLP DOI BibTeX RDF	semantics, Types, pi calculus, automatic theorem proving
31	Benjamin C. Pierce, Davide Sangiorgi	Behavioral equivalence in the polymorphic pi-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	abstract data types, pi-calculus
31	Naijun Zhan	Completeness of Higher-Order Duration Calculus.	CSL	2000	DBLP DOI BibTeX RDF	duration calculus higher-order logic interval temporal logic completeness
31	Viviana Bono, Amit Patel 0001, Vitaly Shmatikov	A Core Calculus of Classes and Mixins.	ECOOP	1999	DBLP DOI BibTeX RDF	type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin
31	Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi	Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract).	CCC	1999	DBLP DOI BibTeX RDF	counting principles, graph tautologies, algebraic proof systems, binomial proofs, Nullstellensatz proofs, polynomial calculus proofs, propositional logic, Proof complexity
31	Louis D. Nel	Differential calculus founded on an isomorphism.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Categorical methods, differential calculus, differentiation theory, foundational isomorphism
31	Martin Gogolla	A Note on the Translation of SQL to Tuple Calculus.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF	relational query language, tuple calculus, SQL, database theory, formal semantics
31	J. Bradley	An Extended Owner-Coupled Set Data Model and Predicate Calculus for Database Management.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	Codasyl DBTG, DSL AlPHA, connection field, extended Bachman diagram, extended owner-coupled set data model, extended owner-coupled set predicate calculus, information bearing set name, owner-coupled set, static set, virtual set, functional dependency, dynamic set
30	José Espírito Santo	Refocusing Generalised Normalisation.	CiE	2007	DBLP DOI BibTeX RDF	generalised elimination rules, multiarity, normalisation
30	Jochen Renz, Falko Schmid	Customizing Qualitative Spatial and Temporal Calculi.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
30	Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi	The Complexity of Enriched µ-Calculi.	ICALP (2)	2006	DBLP DOI BibTeX RDF
30	Philip Wadler	Call-by-Value Is Dual to Call-by-Name - Reloaded.	RTA	2005	DBLP DOI BibTeX RDF
30	Philippa Gardner, Lucian Wischik	Explicit Fusions.	MFCS	2000	DBLP DOI BibTeX RDF
30	Catuscia Palamidessi	Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility.	CONCUR	1999	DBLP DOI BibTeX RDF
30	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
30	William McCune, Larry Wos	Experiments in Automated Deduction with Condensed Detachment.	CADE	1992	DBLP DOI BibTeX RDF
30	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
30	Maria Pamela C. David, Johnrob Y. Bantang, Eduardo R. Mendoza	A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
30	Lan Zhang 0001, Ullrich Hustadt, Clare Dixon	A Refined Resolution Calculus for CTL.	CADE	2009	DBLP DOI BibTeX RDF
30	Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia	On the Asynchronous Nature of the Asynchronous pi-Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
30	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
30	John Seiffertt, Donald C. Wunsch	A quantum calculus formulation of dynamic programming and ordered derivatives.	IJCNN	2008	DBLP DOI BibTeX RDF
30	Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002	Model checking the probabilistic pi-calculus.	QEST	2007	DBLP DOI BibTeX RDF
30	Linda Buisman, Rajeev Goré	A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
30	Zoltán Csörnyei, Gergely Dévai	An Introduction to the Lambda Calculus.	CEFP	2007	DBLP DOI BibTeX RDF
30	Silvia Crafa, Daniele Varacca, Nobuko Yoshida	Compositional Event Structure Semantics for the Internal pi -Calculus.	CONCUR	2007	DBLP DOI BibTeX RDF
30	Gabriel Ciobanu, Vladimir A. Zakharov	Encoding Mobile Ambients into the pi -Calculus.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
30	Ünal Ufuktepe, Günnur Ufuktepe, Asli Deniz, Veli Dündar	e-Calculus at IZTECH.	Edutainment	2006	DBLP DOI BibTeX RDF
30	René David, Karim Nour	Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
30	Peter Baumgartner 0001, Cesare Tinelli	The Model Evolution Calculus with Equality.	CADE	2005	DBLP DOI BibTeX RDF
30	Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane	Modelling Fusion Calculus using HD-Automata.	CALCO	2005	DBLP DOI BibTeX RDF
30	Robert Atkey	A lambda-Calculus for Resource Separation.	ICALP	2004	DBLP DOI BibTeX RDF
30	Emmanuel Polonowski	Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions.	FoSSaCS	2004	DBLP DOI BibTeX RDF
30	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	D-Fusion: A Distinctive Fusion Calculus.	APLAS	2004	DBLP DOI BibTeX RDF
30	Dong Yang, Shen-sheng Zhang	Using p - calculus to Formalize UML Activity Diagram.	ECBS	2003	DBLP DOI BibTeX RDF
30	Manfred Broy	A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
30	Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro	A Calculus for Long-Running Transactions.	FMOODS	2003	DBLP DOI BibTeX RDF
30	Annabelle McIver, Carroll Morgan	Games, Probability and the Quantitative µ-Calculus qMµ.	LPAR	2002	DBLP DOI BibTeX RDF
30	Patrick Blackburn, Jaap Kamps, Maarten Marx	Situation Calculus as Hybrid Logic: First Steps.	EPIA	2001	DBLP DOI BibTeX RDF
30	Alessio Guglielmi, Lutz Straßburger	Non-commutativity and MELL in the Calculus of Structures.	CSL	2001	DBLP DOI BibTeX RDF
30	Albert C. Esterline, Toinette Rorie	Using the pi-Calculus to Model Multiagent Systems.	FAABS	2000	DBLP DOI BibTeX RDF
30	Amar Isli, Lledó Museros Cabedo, Thomas Barkowsky, Reinhard Moratz	A Topological Calculus for Cartographic Entities.	Spatial Cognition	2000	DBLP DOI BibTeX RDF
30	Joëlle Despeyroux	A Higher-Order Specification of the pi-Calculus.	IFIP TCS	2000	DBLP DOI BibTeX RDF
30	Jeremy Gow, Alan Bundy, Ian Green	Extensions to the Estimation Calculus.	LPAR	1999	DBLP DOI BibTeX RDF
30	Maribel Fernández, Ian Mackie	Closed Reductions in the lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
30	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	A Pi-Calculus with Explicit Substitutions: the Late Semantics.	MFCS	1994	DBLP DOI BibTeX RDF
30	Martin Odersky, Dan Rabin, Paul Hudak	Call by Name, Assignment, and the Lambda Calculus.	POPL	1993	DBLP DOI BibTeX RDF
30	Yves Bertot	Origin Functions in Lambda-Calculus and Term Rewriting Systems.	CAAP	1992	DBLP DOI BibTeX RDF
30	Bent Thomsen	A Calculus of Higher Order Communicating Systems.	POPL	1989	DBLP DOI BibTeX RDF	CCS
29	Hua Jiang, Xinxing Tan	Bisimulations in the Boxed Safe Ambients with Password.	ITNG	2009	DBLP DOI BibTeX RDF	mobile ambient calculus, p-calculus, model checking, computational model, process calculus
29	Steffen van Bakel, Maria Grazia Vigliotti	A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.	CONCUR	2009	DBLP DOI BibTeX RDF
29	Michael Baldamus, Joachim Parrow, Björn Victor	Spi Calculus Translated to ?--Calculus Preserving May-Tests.	LICS	2004	DBLP DOI BibTeX RDF
29	Marino Miculan	Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.	ICALP	1999	DBLP DOI BibTeX RDF
29	José-Luis Vivas, Mads Dam	From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators.	CONCUR	1998	DBLP DOI BibTeX RDF
28	Guillaume Burel	A First-Order Representation of Pure Type Systems Using Superdeduction.	LICS	2008	DBLP DOI BibTeX RDF	lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo
28	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
28	Seiki Akama, Yotaro Nakayama	A Three-Valued Semantics for Discourse Representations.	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued semantics, discourse representation theory, sequent calculus LKD, identity axiom, Gentzen's LK, predicate logic formulas, Schutte valuations, natural languages, calculus, proof theory, ternary logic
28	Karl J. Lieberherr, Cun Xiao	Object-Oriented Software Evolution.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	object-oriented software evolution, propagation patterns, class dictionary graph, inheritance relationships, evolution histories, growth-plans, propagation-directive calculus, formal calculus, object-oriented programming, data models, submodels
28	Raymond Reiter	On knowledge-based programming with sensing in the situation calculus.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus
27	Iluju Kiringa	Specifying active databases as non-Markovian theories of actions.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Semantic of active databases, Logical foundations, Action theories, non-Markovian control, Knowledge representation, Situation calculus
27	André Platzer	Differential Dynamic Logic for Hybrid Systems.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Verification of hybrid systems, Differential equations, Automated theorem proving, Dynamic logic, Sequent calculus, Axiomatisation
27	Alessio Guglielmi	A system of interaction and structure.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	mix rule, noncommutativity, pomset logic, symmetry, linear logic, cut elimination, self-duality, deep inference, Calculus of structures
27	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	Not Enough Points Is Enough.	CSL	2007	DBLP DOI BibTeX RDF	?-models, relational model, ?-calculus, non-determinism, cartesian closed categories
27	John Field, Carlos A. Varela	Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments.	POPL	2005	DBLP DOI BibTeX RDF	distributed state, tau-calculus, transactor, actor
27	Jerome Vouillon	Subtyping Union Types.	CSL	2004	DBLP DOI BibTeX RDF	semantics, lambda-calculus, subtyping, union types
27	Abdesselam Redouane	Expressing Performance Issues in Web Application Design.	IEEE ICCI	2003	DBLP DOI BibTeX RDF	cognitive, operational semantics, bisimulation, Pi calculus
27	Aleksandar Nanevski	From dynamic binding to state via modal possibility.	PPDP	2003	DBLP DOI BibTeX RDF	modal lambda-calculus, state, dynamic binding, effect systems
27	Pietro Cenciarelli	Configuration Theories.	CSL	2002	DBLP DOI BibTeX RDF	configuration structures, Java, semantics, concurrency, sequent calculus
27	Dima Grigoriev	Complexity of Positivstellensatz proofs for the knapsack.	Comput. Complex.	2001	DBLP DOI BibTeX RDF	Polynomial calculus, Positivstellensatz proofs, complexity of the knapsack
27	Bernhard K. Aichernig	Test-Case Calculation through Abstraction.	FME	2001	DBLP DOI BibTeX RDF	test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus
27	Roberto M. Amadio, Sanjiva Prasad	The Game of the Name in Cryptographic Tables.	ASIAN	1999	DBLP DOI BibTeX RDF	$pi$-calculus, verification, cryptographic protocols
27	Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong	Relational Expressive Power of Constraint Query Languages.	J. ACM	1998	DBLP DOI BibTeX RDF	constraint query language, database, constraints, expressive power, relational calculus
27	Weidong Chen	Declarative Updates of Relational Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	update algebra, update calculus, expressive power, database updates, database languages
27	Yue Qian, Zhonghai Lu, Wenhua Dou	Applying network calculus for performance analysis of self-similar traffic in on-chip networks.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	performance analysis, network-on-chip, network calculus, self-similar traffic
27	Sharon Shoham, Nissim Francez	Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.	Stud Logica	2008	DBLP DOI BibTeX RDF	Game semantics, Lambek calculus
27	Thomas Studer	On the Proof Theory of the Modal mu-Calculus.	Stud Logica	2008	DBLP DOI BibTeX RDF	Infinitary proof theory, ?-calculus
27	Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer	A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof
27	Emmanuel Beffara	An Algebraic Process Calculus.	LICS	2008	DBLP DOI BibTeX RDF	testing semantics, pi-calculus, full abstraction, trace semantics, normalisation
27	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
27	Cristian Versari, Roberto Gorrieri	pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.	SFM	2008	DBLP DOI BibTeX RDF	polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus
27	Cristian Versari	A Core Calculus for a Comparative Analysis of Bio-inspired Calculi.	ESOP	2007	DBLP DOI BibTeX RDF	polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus
27	Henrik Schiøler, Hans-Peter Schwefel, Martin B. Hansen	CyNC: a MATLAB/SimuLink toolbox for network calculus.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	modelling, real time systems, performance analysis, tools, network calculus
27	Florin Ciucu, Almut Burchard, Jörg Liebeherr	Scaling properties of statistical end-to-end bounds in the network calculus.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	network service curve, stochastic network calculus, quality-of-service
27	Robert Veroff, Matthew Spinks	Axiomatizing the Skew Boolean Propositional Calculus.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	skew Boolean propositional calculus (SBPC), proof sketches, axiomatization, automated deduction
27	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
27	Paola Lecca	A time-dependent extension of gillespie algorithm for biochemical stochastic pi-calculus.	SAC	2006	DBLP DOI BibTeX RDF	biochemical systems modeling, chemical kinetics simulation, gillespie algorithm, passive transport, stochastic ?-calculus
27	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A Petri Net Translation of pi-Calculus Terms.	ICTAC	2006	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus
27	David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August	Static typing for a faulty lambda calculus.	ICFP	2006	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults
27	Maribel Fernández, Ian Mackie, François-Régis Sinot	Lambda-Calculus with Director Strings.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Director Strings, Strategies, Calculus, Explicit Substitutions
27	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
27	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
27	Paula Gouveia, Jaime Ramos	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	specification, multi-agents, certification, knowledge, abduction, situation calculus
27	Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.	POPL	2004	DBLP DOI BibTeX RDF	Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
27	Alberto Momigliano, Frank Pfenning	Higher-order pattern complement and the strict lambda-calculus.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	higher-order patterns, strict ?-calculus, Complement