Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
13	Roope Kaivola	Axiomatising Linear Time Mu-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
13	Andrea Asperti	deltao!Epsilon = 1 - Optimizing Optimal lambda-Calculus Implementations.	RTA	1995	DBLP DOI BibTeX RDF
13	Shiang-Tang Huang, Tai-Ming Parng, Jyuo-Min Shyu	Timed Boolean calculus and its applications in timing analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
13	Manfred Broy, Greg Nelson	Adding Fair Choice to Dijkstra's Calculus.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dovetail, law of the excluded miracle, partial commands, semantics, fairness, nondeterminism, guarded commands
13	Oleg Sokolsky, Scott A. Smolka	Incremental Model Checking in the Modal Mu-Calculus.	CAV	1994	DBLP DOI BibTeX RDF
13	Björn Victor, Faron Moller	The Mobility Workbench - A Tool for the pi-Calculus.	CAV	1994	DBLP DOI BibTeX RDF
13	Mads Tofte, Jean-Pierre Talpin	Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.	POPL	1994	DBLP DOI BibTeX RDF
13	A. J. Kfoury, J. B. Wells	A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
13	Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot	On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.	CONPAR	1994	DBLP DOI BibTeX RDF
13	Maciej Koutny, Javier Esparza, Eike Best	Operational Semantics for the Petri Box Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF	Petri nets, process algebra, structured operational semantics, step sequences
13	Ueli M. Maurer, Pierre E. Schmid	A Calculus for Secure Channel Establishment in Open Networks.	ESORICS	1994	DBLP DOI BibTeX RDF	Security transformations, Cryptography, Network security, Key management, Formal models
13	Pavel Pudlák, Samuel R. Buss	How to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus.	CSL	1994	DBLP DOI BibTeX RDF
13	Uwe Egly	A First Order Resolution Calculus with Symmetries.	LPAR	1993	DBLP DOI BibTeX RDF
13	Klaus Havelund, Kim Guldstrand Larsen	The Fork Calculus.	ICALP	1993	DBLP DOI BibTeX RDF
13	Vaughan R. Pratt	The Second Calculus of Binary Relations.	MFCS	1993	DBLP DOI BibTeX RDF
13	Werner Stephan 0001, Andreas Wolpers	A Calculus for Higher Order Procedures with Global Variables.	MFCS	1993	DBLP DOI BibTeX RDF
13	Eike Best, Raymond R. Devillers, Javier Esparza	General Refinement and Recursion Operators for the Petri Box Calculus.	STACS	1993	DBLP DOI BibTeX RDF
13	Walter G. Spunde	Point-Wise Calculus.	APL	1993	DBLP DOI BibTeX RDF	APL
13	K. V. S. Prasad	A Calculus of Value Broadcasts.	PARLE	1993	DBLP DOI BibTeX RDF	CR classification F3.2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics, F3.1 Logics of programs
13	Vasco Thudichum Vasconcelos, Kohei Honda 0001	Principal Typing Schemes in a Polyadic pi-Calculus.	CONCUR	1993	DBLP DOI BibTeX RDF
13	Joost Engelfriet	A Multiset Semantics for the pi-Calculus with Replication.	CONCUR	1993	DBLP DOI BibTeX RDF
13	Cliff B. Jones	A pi-Calculus Semantics for an Object-Based Design Notation.	CONCUR	1993	DBLP DOI BibTeX RDF
13	Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki	Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning.	DISCO	1993	DBLP DOI BibTeX RDF
13	Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor	On Duality for the Modal µ-Calculus.	CSL	1993	DBLP DOI BibTeX RDF
13	C.-H. Luke Ong, Eike Ritter	A Generic Strong Normalization Argument: Application to the Calculus of Constructions.	CSL	1993	DBLP DOI BibTeX RDF
13	Cosimo Laneve, Ugo Montanari	Axiomatizing Permutation Equivalence in the Lambda-Calculus.	ALP	1992	DBLP DOI BibTeX RDF
13	Talal Maghrabi, Forouzan Golshani	Automatic Program Generation Using Sequent Calculus.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
13	Kenneth A. Ross	Relations with Relation Names as Arguments: Algebra and Calculus.	PODS	1992	DBLP DOI BibTeX RDF
13	Belaid Benhamou, Lakhdar Sais	Theoretical Study of Symmetries in Propositional Calculus and Applications.	CADE	1992	DBLP DOI BibTeX RDF
13	Ugo de'Liguoro, Adolfo Piperno	Must Preorder in Non-Deterministic Untyped Lambda-Calculus.	CAAP	1992	DBLP DOI BibTeX RDF
13	Rance Cleaveland, Bernhard Steffen	A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.	CAV	1991	DBLP DOI BibTeX RDF
13	Luca Console, Attilio Giordana, Lorenza Saitta	Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.	ISMIS	1991	DBLP DOI BibTeX RDF
13	Elie Najm, Jean-Bernard Stefani	Object-Based Concurrency: A Process Calculus Analysis.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
13	John W. Gray	Simultaneous Substitution in the Typed Lambda Calculus.	MFPS	1991	DBLP DOI BibTeX RDF
13	Ernst-Rüdiger Olderog	Towards a Design Calculus for Communicationg Programs.	CONCUR	1991	DBLP DOI BibTeX RDF
13	John Hannan	Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages.	ELP	1991	DBLP DOI BibTeX RDF
13	Helmut Simonis, Mehmet Dincbas	Propositional Calculus Problems in CHIP.	ALP	1990	DBLP DOI BibTeX RDF
13	Anthony Hall	Using Z as a Specification Calculus for Object-Oriented Systems.	VDM Europe	1990	DBLP DOI BibTeX RDF
13	Steve King 0001	Z and the Refinement Calculus.	VDM Europe	1990	DBLP DOI BibTeX RDF
13	John Field, Tim Teitelbaum	Incremental Reduction in the lambda Calculus.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
13	Krishna R. Pattipati, Joel L. Wolf, Somnath Deb	A Calculus of Variations Approach to File Allocation Problems in Computer Systems.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
13	Dan E. Willard	Quasilinear Algorithms for Processing Relational Calculus Expressions.	PODS	1990	DBLP DOI BibTeX RDF
13	Eugeniusz Eberbach	Selected Aspects of the Calculus of Self-Modifiable Algorithms Theory.	ICCI	1990	DBLP DOI BibTeX RDF	self-modifiable algorithm, foundation of AI, fixed-point semantics, parallel programming languages and methodologies, computation models
13	Chris M. N. Tofts	A Synchronous Calculus of Relative Frequency.	CONCUR	1990	DBLP DOI BibTeX RDF
13	Richard Gerber 0001, Insup Lee 0001	CCSR: A Calculus for Communicating Shared Resources.	CONCUR	1990	DBLP DOI BibTeX RDF
13	Faron Moller, Chris M. N. Tofts	A Temporal Calculus of Communicating Systems.	CONCUR	1990	DBLP DOI BibTeX RDF
13	Stephen G. Pimentel, John L. Cuadrado	The Event Calculus and Consistency Maintenance.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	C. J. Date 0001	A Note on the Relational Calculus.	SIGMOD Rec.	1989	DBLP DOI BibTeX RDF	SQL
13	Robert Harper 0001, Robert Pollack	Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft).	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
13	Richard D. Neidinger	An APL Approach to Differential Calculus Yields a Powerful Tool.	APL	1989	DBLP DOI BibTeX RDF	APL
13	Colin Stirling, David Walker 0002	CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
13	Daniel Mey	A Predicate Calculus with Control of Derivations.	CSL	1989	DBLP DOI BibTeX RDF
13	Terry Flaherty	A differentiation primitive for extended λ-calculus.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
13	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed Lambda-Calculus.	POPL	1988	DBLP DOI BibTeX RDF
13	Frank Pfenning	Single Axioms in the Implicational Propositional Calculus.	CADE	1988	DBLP DOI BibTeX RDF
13	Hans Jürgen Ohlbach	A Resolution Calculus for Modal Logics.	CADE	1988	DBLP DOI BibTeX RDF	resolution principle, modal logic, unification
13	Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman	Empty Types in Polymorphic Lambda Calculus.	POPL	1987	DBLP DOI BibTeX RDF
13	Paul Hudak, Jonathan Young	Higher-Order Strictness Analysis in Untyped Lambda Calculus.	POPL	1986	DBLP DOI BibTeX RDF
13	J. Roger Hindley	Combinators and Lambda-Calculus.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
13	Robert S. Streett, E. Allen Emerson	The Propositional Mu-Calculus is Elementary.	ICALP	1984	DBLP DOI BibTeX RDF
13	Dan E. Willard	Efficient Processing of Relational Calculus Expressions Using Range Query Theory.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
13	Allen Van Gelder	A Satisfiability Tester for Non-Clausal Propositional Calculus.	CADE	1984	DBLP DOI BibTeX RDF
13	Dexter Kozen	Results on the Propositional µ-Calculus.	ICALP	1982	DBLP DOI BibTeX RDF
13	David A. Schmidt	State transition machines for lambda calculus expressions.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
13	Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé	Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.	ICALP	1979	DBLP DOI BibTeX RDF
13	Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini	Termination Tests inside lambda-Calculus.	ICALP	1977	DBLP DOI BibTeX RDF
10	Yuan Yuan 0034, Kui Wu 0001, Weijia Jia 0001, Yuming Jiang 0001	Performance of Acyclic Stochastic Networks with Network Coding.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	network coding, Network calculus, stochastic networks
10	Véronique Cortier, Ben Smyth	Attacking and Fixing Helios: An Analysis of Ballot Secrecy.	CSF	2011	DBLP DOI BibTeX RDF	Ballot Independence, Ballot Secrecy, Helios, Privacy, Attack, Electronic Voting, Applied Pi Calculus
10	Jianjia Wu, Jyh-Charn Liu, Wei Zhao 0001	A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Workload rate, utilization, network calculus, schedulability test
10	Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox	Modeling structured event streams in system level performance analysis.	LCTES	2010	DBLP DOI BibTeX RDF	event count curves, performance analysis, real-time calculus
10	Ruzhi Xu, Quansheng Wu, Hongquan Gong, Leqiu Qian	Research on Component Composition with Formal Semantics.	IITSI	2010	DBLP DOI BibTeX RDF	formal semantics, component based software engineering, ?-calculus, component composition
10	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Recursion Schemes and Logical Reflection.	LICS	2010	DBLP DOI BibTeX RDF	Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes
10	Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor	Weak Equivalences in Psi-Calculi.	LICS	2010	DBLP DOI BibTeX RDF	pi-calculus extension, weak bisimulation, barbed bisimulation
10	Thomas Ehrhard	A Finiteness Structure on Resource Terms.	LICS	2010	DBLP DOI BibTeX RDF	finiteness spaces, algebraic system F, linear logic, lambda-calculus, reducibility, denotational semantics
10	Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira	Modular session types for distributed object-oriented programming.	POPL	2010	DBLP DOI BibTeX RDF	non-uniform method availability, object-oriented calculus, typestates, session types
10	Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar Nuseibeh	Model-Based Argument Analysis for Evolving Security Requirements.	SSIRI	2010	DBLP DOI BibTeX RDF	Security argumentation, OpenPF, Requirements Engineering, Evolution, Event Calculus
10	Jörg Liebeherr, Yashar Ghiassi-Farrokhfal, Almut Burchard	Does Link Scheduling Matter on Long Paths?.	ICDCS	2010	DBLP DOI BibTeX RDF	Computer Networks, network calculus, end-to-end delays, link scheduling
10	J. E. Rubio	Semi-infinite Programming and Control Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Unbounded controls, Diffusion equation, Nonstandard analysis, Partial differential equations, Control theory, Measure theory, Calculus of variations, Shock
10	Nicolas Hadjisavvas, Panos M. Pardalos	Carathéodory, Constantine.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Carathéodory, Measure theory, Calculus of variations
10	Vladimir F. Demyanov	Quasidifferentiable Optimization: Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Quasidifferential calculus, Necessary and sufficient conditions, Quasidifferential, Directional derivative
10	Sandra Duni Eksioglu	Leibniz, Gottfried Wilhelm.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Gottfried Wilhelm Leibniz, Theory of envelops, Infinitesimal calculus, Integration, Differentiation
10	Tania Maia Querido, Dukwon Kim	Lagrange, Joseph-Louis.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lagrange multipliers, Calculus of variations
10	Stefano Guerrini, Andrea Masini	Proofs, tests and continuation passing style.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Minimal logic, call-by-name, intutionistic logic, linear logic, lambda calculus, continuations passing style, call-by-value
10	Paola Bruscoli, Alessio Guglielmi	On the proof complexity of deep inference.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Frege systems, Statman tautologies, Analyticity, deep inference, calculus of structures
10	Greg Restall	Truth Values and Proof Theory.	Stud Logica	2009	DBLP DOI BibTeX RDF	Completeness, Modal Logic, Proof, Sequent Calculus, Intuitionistic Logic, Truth Value
10	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	2009	DBLP DOI BibTeX RDF	Paraconsistent negation, completeness, sequent calculus, cut-elimination
10	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A UTP semantics for Circus.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Concurrency, Theorem proving, Relational model, Refinement calculus
10	Bernhard K. Aichernig, Jifeng He 0001	Mutation testing in UTP.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing
10	Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell	Term transformers: A new approach to state.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
10	Nuno Amálio	Suspicion-Driven Formal Analysis of Security Requirements.	SECURWARE	2009	DBLP DOI BibTeX RDF	Security, planning, requirements, confidentiality, formal analysis, separation of duty, Event-Calculus
10	Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson 0001	Agile specifications.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	specification statement, formal methods, test-driven development, agile methods, refinement calculus
10	Edward Clarkson, Shamkant B. Navathe, James D. Foley	Generalized formal models for faceted user interfaces.	JCDL	2009	DBLP DOI BibTeX RDF	design survey, tuple relational calculus, relational model, entity-relationship model, ER model, faceted navigation, faceted metadata
10	Gunnar Wilken, Andreas Weiermann	Complexity of Gödel's T in lambda-Formulation.	TLCA	2009	DBLP DOI BibTeX RDF	Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
10	Véronique Cortier, Stéphanie Delaune	A Method for Proving Observational Equivalence.	CSF	2009	DBLP DOI BibTeX RDF	security protocols, observational equivalence, applied pi calculus
10	Abdul Razzaq, Ali Hur, Nasir Haider, Hafiz Farooq Ahmad	Multi-Layered Defense against Web Application Attacks.	ITNG	2009	DBLP DOI BibTeX RDF	CFG, Pi Calculus
10	Lin Yu	Extension of Stochastic Dynamical System Involving Generalized Brownian Functionals.	ISNN (1)	2009	DBLP DOI BibTeX RDF	White noise calculus, U-functional, Generalized Brownian functional, Wick product
10	Paul Bogdan, Radu Marculescu	Statistical physics approaches for network-on-chip traffic characterization.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	fractional calculus, systems-on-chip, networks-on-chip, multi-processor systems, master equation
10	Marat D. Ramazanov, Dzhangir Y. Rakhmatullin	Parallel Algorithms of Numeric Integration Using Lattice Cubature Formulas.	PaCT	2009	DBLP DOI BibTeX RDF	approximate integration, calculus mathematics, functional analysis, cubature formulas
10	Kai Lampka, Simon Perathoner, Lothar Thiele	Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	performance analysis, timed automata, hard real-time systems, real-time calculus