Search results for "Mu-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Horatiu Cirstea, Luigi Liquori, Benjamin Wack	Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.	TYPES	2003	DBLP DOI BibTeX RDF	Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
71	Michael R. Hansen, Dang Van Hung	A Theory of Duration Calculus with Application.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF	metric-time temporal logic, Real-time systems, model-checking, application, decidability, duration calculus
67	José Espírito Santo	The lambda-Calculus and the Unity of Structural Proof Theory.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
67	Doron Bustan, Orna Kupferman, Moshe Y. Vardi	A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.	STACS	2004	DBLP DOI BibTeX RDF
66	Alexis Saurin	Separation with Streams in the lambdaµ-calculus.	LICS	2005	DBLP DOI BibTeX RDF	Böhm Theorem, Calculus of Streams, Separation Property, Untyped ??-calculus
58	Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen 0004	An Improved Calculus for Secure Dynamic Services Composition.	COMPSAC	2008	DBLP DOI BibTeX RDF	Global calculus, Web services composition, Orchestration, Choreography, Spi calculus
55	Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka	A Process Calculus for Mobile Ad Hoc Networks.	COORDINATION	2008	DBLP DOI BibTeX RDF
52	Jean-Jacques Lévy	An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
52	Yunfeng Wang, Bixin Li, Jun Pang 0001, Ming Zha, Guoliang Zheng	A Formal Software Development Approach Based on COOZ and Refinement Calculus.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	formal development method, formal specification, object-oriented, refinement calculus
52	Gérard Boudol, Carolina Lavatelli	Full Abstraction for Lambda Calculus with Resources and Convergence Testing.	CAAP	1996	DBLP DOI BibTeX RDF	intersection type systems, calculus, full abstraction
52	Xian Xu 0001	Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	encoding, bisimulation, full abstraction, process calculus, higher order
51	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
51	Elena Machkasova, Franklyn A. Turbak	A Calculus for Link-Time Compilation.	ESOP	2000	DBLP DOI BibTeX RDF
49	Hassan Aït-Kaci, Jacques Garrigue	Label-Selective lambda-Calculus Syntax and Confluence.	FSTTCS	1993	DBLP DOI BibTeX RDF	record calculus, communication, concurrency, Calculus
48	Yu Zhang, David Nowak	Logical Relations for Dynamic Name Creation.	CSL	2003	DBLP DOI BibTeX RDF	Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
48	Clara Bertolissi, Horatiu Cirstea, Claude Kirchner	Expressing combinatory reduction systems derivations in the rewriting calculus.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Rewriting calculus, Combinatory reduction systems, Matching
48	Rong Peng, Keqing He, Xiaozhen Zhong	SMA Calculus -- A Secure Mobile Agent Calculus.	CIT	2004	DBLP DOI BibTeX RDF	security, access control, mobile agent, Software agents, calculus, cryptographic algorithm
46	Shinn-Der Lee, Daniel P. Friedman	Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.	ICFP	1996	DBLP DOI BibTeX RDF
46	Alan Schmitt, Jean-Bernard Stefani	The m-calculus: a higher-order distributed process calculus.	POPL	2003	DBLP DOI BibTeX RDF	mobility, distribution, type systems, process calculi, higher order
45	Flemming Nielson, Helmut Seidl	Control-Flow Analysis in Cubic Time.	ESOP	2001	DBLP DOI BibTeX RDF	Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus
45	Ioan Salomie, Viorica R. Chifu, Ioana Harsa	Towards automated web service composition with fluent calculus and domain ontologies.	iiWAS	2008	DBLP DOI BibTeX RDF	fluent calculus, fluent calculus based planning, ontologies, web service composition
45	Fiora Pirri, Raymond Reiter	Some Contributions to the Metatheory of the Situation Calculus.	J. ACM	1999	DBLP DOI BibTeX RDF	programming languages for the situation calculus, theorem-proving, regression, situation calculus
45	Emmanuel Haven	Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction.	QI	2009	DBLP DOI BibTeX RDF	q-calculus, h-calculus, option pricing, stochastic differential equation
44	Alessandra Di Pierro	A Type Theory for Probabilistic λ-calculus.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
44	Reiji Nakajima	Infinite normal forms for the lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Roel C. de Vrijer	Big trees in a lambda - calculus with lambda - expressions as types.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Giorgio Ausiello	On the description of time varying systems in lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Louis Nolin	Les modèles informatiques des lambda-calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	J. M. E. Hyland	A survey of some useful partial order relations on terms of the lambda calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Luigia Carlucci Aiello, Mario Aiello	Programming language semantics in a typed lambda - calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Herbert Egli	Typed meaning in Scott's lambda - calculus models.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Gérard P. Huet	unification in typed lambda calculus.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
44	Horatiu Cirstea, Germain Faure, Claude Kirchner	A rho-calculus of explicit constraint application.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution
44	Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue	MoCha-pi, an exogenous coordination calculus based on mobile channels.	SAC	2005	DBLP DOI BibTeX RDF	distributed mobile channels, coordination, calculus
44	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
44	Carlos Herrero, Javier Oliver 0001	Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.	SOFSEM	1999	DBLP DOI BibTeX RDF	Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra
42	Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor	Psi-calculi: Mobile Processes, Nominal Data, and Logic.	LICS	2009	DBLP DOI BibTeX RDF
42	Hugo Herbelin, Silvia Ghilezan	An approach to call-by-name delimited continuations.	POPL	2008	DBLP DOI BibTeX RDF	boehm separability, delimited control, observational completeness, classical logic
42	José Espírito Santo	Completing Herbelin's Programme.	TLCA	2007	DBLP DOI BibTeX RDF
42	Daisuke Kimura	Call-by-Value Is Dual to Call-by-Name, Extended.	APLAS	2007	DBLP DOI BibTeX RDF
42	Michel Parigot	On the Computational Interpretation of Negation.	CSL	2000	DBLP DOI BibTeX RDF
42	Atsushi Ohori	A Compilation Method for ML-Style Polymorphic Record Calculi.	POPL	1992	DBLP DOI BibTeX RDF
42	Robin Milner	Functions as Processes.	ICALP	1990	DBLP DOI BibTeX RDF
42	Clara Bertolissi, Claude Kirchner	The Rewriting Calculus as a Combinatory Reduction System.	FoSSaCS	2007	DBLP DOI BibTeX RDF
42	Lucian Wischik, Philippa Gardner	Strong Bisimulation for the Explicit Fusion Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
42	Alexander Scivos, Bernhard Nebel	The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
42	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
42	Cédric Fournet, Georges Gonthier	The Join Calculus: A Language for Distributed Mobile Programming.	APPSEM	2000	DBLP DOI BibTeX RDF
42	Silvano Dal-Zilio, Andrew D. Gordon 0001	Region Analysis and a pi-Calculus wiht Groups.	MFCS	2000	DBLP DOI BibTeX RDF
42	Lex Bijlsma 0001, Rob Nederpelt	Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.	Acta Informatica	1998	DBLP DOI BibTeX RDF
42	Philip Wadler	Call-by-value is dual to call-by-name.	ICFP	2003	DBLP DOI BibTeX RDF	Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction
42	Hugo Herbelin	A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure.	CSL	1994	DBLP DOI BibTeX RDF
42	Davide Sangiorgi	From pi-Calculus to Higher-Order pi-Calculus - and Back.	TAPSOFT	1993	DBLP DOI BibTeX RDF
42	Regimantas Pliuskevicius	Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
41	Dong-Hong Xu, Yong Qi, Di Hou, Ying Chen 0004	SpiG4WSC: A Calculus for Secure Services Composition.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Global calculus, Orchestration, Choreography, Spi calculus
41	Dang Van Hung, Zhou Chaochen	Probabilistic Duration Calculus for Continuous Time.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Probabilistic duration calculus, Real-time systems, Dependability, Stochastic processes, Duration calculus, Probabilistic automata
41	Abdullah Uz Tansel, Lucy Garnett	On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
39	Orna Kupferman, Moshe Y. Vardi	From linear time to branching time.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	alternation-free ?-calculus, Linear temporal logic
39	Véronique Royer, Joachim Quantz	On Intuitionistic Query Answering in Description Bases.	CADE	1994	DBLP DOI BibTeX RDF	Intuitionistic Sequent Calculus, Least Fixed Point Semantics, Description Logics, Query Answering
39	Luca Fossati, Daniele Varacca	The Calculus of Handshake Configurations.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Petri nets, types, process calculus, Handshake protocols
39	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
39	Jing Zhang, Licui Zhang, Degui Guo	Operational Semantics of the Seal Calculus.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Seal Calculus, Mobile computation, operational semantics, abstract machine
39	Maria Bulinska	The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.	Stud Logica	2005	DBLP DOI BibTeX RDF	Lambek, grammar, calculus, context-free
39	Taolue Chen, Tingting Han 0001, Jian Lu 0001	Towards a Model Logic for p-Calculus.	COMPSAC	2004	DBLP DOI BibTeX RDF	Symbolic Transition Graph, Model Checking Algorithm, Modal Logic, ?-calculus
39	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
39	Rajiv Bagai	Tuple Relational Calculus for Paraconsistent Databases.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Incomplete and inconsistent information, Tuple relational calculus, Relational data model
39	Helko Lehmann, Michael Leuschel	Decidability Results for the Propositional Fluent Calculus.	Computational Logic	2000	DBLP DOI BibTeX RDF	reasoning about action and change, fluent calculus, model checking, petri nets, temporal logics, decidability
38	Alexis Saurin	On the Relations between the Syntactic Theories of lambda-mu-Calculi.	CSL	2008	DBLP DOI BibTeX RDF	Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization
38	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	A General Name Binding Mechanism.	TGC	2005	DBLP DOI BibTeX RDF
38	J. B. Wells, René Vestergaard	Equational Reasoning for Linking with First-Class Primitive Modules.	ESOP	2000	DBLP DOI BibTeX RDF
38	Pierre-Louis Curien, Hugo Herbelin	The duality of computation.	ICFP	2000	DBLP DOI BibTeX RDF
38	Philippa Gardner	From Process Calculi to Process Frameworks.	CONCUR	2000	DBLP DOI BibTeX RDF
38	Eduardo Bonelli	Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.	CSL	1999	DBLP DOI BibTeX RDF
38	Delia Kesner, Pablo E. Martínez López	Explicit Substitutions for Objects and Functions.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
38	Maria Grazia Buscemi, Ugo Montanari	Open Bisimulation for the Concurrent Constraint Pi-Calculus.	ESOP	2008	DBLP DOI BibTeX RDF
38	Qiong Wang, Chenglie Du, Chunyan Ma, Gang Li	Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description.	CSSE (3)	2008	DBLP DOI BibTeX RDF
38	Reinhold Letz, Gernot Stenz	The Disconnection Tableau Calculus.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	disconnection tableaux, theorem proving
38	Clara Bertolissi	The Graph Rewriting Calculus: Confluence and Expressiveness.	ICTCS	2005	DBLP DOI BibTeX RDF
38	William C. Rounds	A Spatial Logic for the Hybrid p-Calculus.	HSCC	2004	DBLP DOI BibTeX RDF
38	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.	VMCAI	2003	DBLP DOI BibTeX RDF
38	Kenji Taguchi 0001, Keijiro Araki	A Calculus Based on the Agent-Place Model.	ICFEM	1998	DBLP DOI BibTeX RDF
38	Franck van Breugel	A Labelled Transition Systems for pi-epsilon-Calculus.	TAPSOFT	1997	DBLP DOI BibTeX RDF
38	Atsushi Ohori, Keishi Tajima	A Polymorphic Calculus for Views and Object Sharing.	PODS	1994	DBLP DOI BibTeX RDF
38	Gérard Boudol	Towards a Lambda-Calculus for Concurrent and Communicating Systems.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
37	Pietro Di Gianantonio	Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.	CSL	2004	DBLP DOI BibTeX RDF	cyclic linear logic, linear logic, proof theory, Lambek calculus, calculus of structures
37	Wayne Citrin, Richard Hall, Benjamin G. Zorn	Programming with Visual Expressions.	VL	1995	DBLP DOI BibTeX RDF	visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables
36	Kentaro Kikuchi	Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.	CiE	2007	DBLP DOI BibTeX RDF	?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
36	Roberto Bruni, Ugo Montanari	Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.	LICS	1999	DBLP DOI BibTeX RDF	double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
36	Gultekin Özsoyoglu, Huaqing Wang	A Relational Calculus with Set Operators, Its Safety and Equivalent Graphical Languages.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	set comparison, set manipulation, Codd relational calculus, RC/S queries, RC query, evaluable formulas, allowed formulas, RC/S* query, algorithms, relational databases, computer graphics, query languages, safety, database theory, Query-by-Example, relational calculus, graphical languages, set operators, QBE
36	Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.)	From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Sebastian Hunt, David Sands 0001	New Program Abstractions for Privacy.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Andrew Fielder	Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Flemming Nielson, Hanne Riis Nielson	Secure Guarded Commands.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Torben Amtoft, Kelly Androutsopoulos, David Clark 0001	Correctly Slicing Extended Finite State Machines.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski	Galois Connections for Recursive Types.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Simon J. Gay	Cables, Trains and Types.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias	Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Security Metrics at Work on the Things in IoT Systems.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Helmut Seidl, Julian Erhard, Ralf Vogler	Incremental Abstract Interpretation.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
36	Richard Prideaux Evans, Martin Berger 0001	Cathoristic Logic.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF