Search results for "mu-calculi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Stefan Wölfl 0001, Till Mossakowski	Casl Specifications of Qualitative Calculi.	COSIT	2005	DBLP DOI BibTeX RDF
79	Davide Sangiorgi	Internal Mobility and Agent-Passing Calculi.	ICALP	1995	DBLP DOI BibTeX RDF
78	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
70	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
70	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Analytic Calculi for Product Logics.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Product logic, Hypersequent calculi, Fuzzy logic, Sequent calculi
65	Dominik Lücke, Till Mossakowski, Diedrich Wolter	Qualitative Reasoning about Convex Relations.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Qualitative spatio-temporal reasoning, relative orientation calculi, consistency
64	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
63	Manfred Schmidt-Schauß	Correctness of Copy in Calculi with Letrec.	RTA	2007	DBLP DOI BibTeX RDF
63	Jan Rauch	Many Sorted Observational Calculi for Multi-Relational Data Mining.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
63	Jens Chr. Godskesen, Kim Guldstrand Larsen	Real-Time Calculi and Expansion Theorems.	FSTTCS	1992	DBLP DOI BibTeX RDF
62	Piero A. Bonatti, Nicola Olivetti	Sequent calculi for propositional nonmonotonic logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Default Logic, Circumscription, Sequent calculi, Autoepistemic Logic, Rejection methods
61	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
55	Richard S. Bird, Lambert G. L. T. Meertens (eds.)	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Klaus Achatz, Helmuth Partsch	A powerful transformation rule, its applications and variants.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum	Synthesising interconnections.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Eric Violard, Stéphane Genaud, Guy-René Perrin	Refinement of data parallel programs in PEI.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Matteo Vaccari, Roland Carl Backhouse	Deriving a systolic regular language recognizer.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Alberto Pettorossi, Maurizio Proietti	Program derivation via list introduction.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Yanhong A. Liu	Principled strength reduction.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Theodore S. Norvell	Predicative semantics of loops.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	A calculational fusion system HYLO.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Marc Frappier, Ali Mili 0001, Jules Desharnais	Defining and detecting feature interactions.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Yellamraju V. Srinivas	Refinement of parameterized algebraic specifications.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Sharon Curtis	Dynamic programming: a different perspective.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	David S. Wile	Towards a calculus for abstract syntax trees.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Deepak Goyal, Robert Paige	The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper	Solving large systems of differential equations in parallel using covers and skeletons.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum	Towards a compositional interpretation of object diagrams.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Bernhard Möller	Calculating with pointer structures.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
55	Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor	Psi-calculi: Mobile Processes, Nominal Data, and Logic.	LICS	2009	DBLP DOI BibTeX RDF
55	Nadia Busi, Claudio Zandron	Modeling and analysis of biological processes by mem(brane) calculi and systems.	WSC	2006	DBLP DOI BibTeX RDF
55	Uwe Nestmann	Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi.	CONCUR	2006	DBLP DOI BibTeX RDF
55	Matthias M. Hölzl, John N. Crossley	Disjunctive Constraint Lambda Calculi.	LPAR	2005	DBLP DOI BibTeX RDF
55	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
55	Robin Milner	Higher-Order Action Calculi.	CSL	1993	DBLP DOI BibTeX RDF
54	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
54	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
49	José Espírito Santo	Delayed Substitutions.	RTA	2007	DBLP DOI BibTeX RDF
49	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
49	Uwe Nestmann, António Ravara	Semantics of Objects as Processes (SOAP).	ECOOP Workshops	1999	DBLP DOI BibTeX RDF
48	Adriana B. Compagnoni, Maribel Fernández	On Object Calculus with Algebraic Rewriting.	PLILP	1997	DBLP DOI BibTeX RDF	Object calculi, Combined calculi, Type systems, Rewriting
46	Cristian Versari, Nadia Busi, Roberto Gorrieri	On the Expressive Power of Global and Local Priority in Process Calculi.	CONCUR	2007	DBLP DOI BibTeX RDF
46	Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro	SensoriaProcess Calculi for Service-Oriented Computing.	TGC	2006	DBLP DOI BibTeX RDF
46	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Sequent and hypersequent calculi for abelian and Łukasiewicz logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	? ukasiewicz logic, Abelian logic, Hypersequents, Sequents
46	Pierluigi Minari	Analytic combinatory calculi and the elimination of transitivity.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Extensionality, Elimination of transitivity, Equational logic, Combinatory logic
46	Jochen Renz, Debasis Mitra 0003	Qualitative Direction Calculi with Arbitrary Granularity.	PRICAI	2004	DBLP DOI BibTeX RDF
46	Stefan Blom	An Approximation Based Approach to Infinitary Lambda Calculi.	RTA	2004	DBLP DOI BibTeX RDF	infinitary rewriting, lambda calculus
46	Georg Struth	Deriving Focused Lattice Calculi.	RTA	2002	DBLP DOI BibTeX RDF
46	Georg Struth	Deriving Focused Calculi for Transitive Relations.	RTA	2001	DBLP DOI BibTeX RDF
46	Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin	From Action Calculi to Linear Logic.	CSL	1997	DBLP DOI BibTeX RDF
46	Delia Kesner	Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract).	RTA	1996	DBLP DOI BibTeX RDF
46	Ulrich Furbach	Theory Reasoning in First Order Calculi.	IS/KI	1994	DBLP DOI BibTeX RDF
46	Chaochen Zhou	Duration Calculi: An Overview (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
46	Per Kreuger	Axioms in Definitional Calculi.	ELP	1993	DBLP DOI BibTeX RDF
46	Egidio Astesiano, Gianna Reggio	SMoLCS-Driven Concurrent Calculi.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
46	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
46	Joana Hois, Oliver Kutz	Natural Language Meets Spatial Calculi.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Spatial calculi, Ontologies, connections, Spatial language
46	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
46	Gerard Ligozat	Simple Models for Simple Calculi.	COSIT	1999	DBLP DOI BibTeX RDF	spatial constraint networks, RCC calculi, composition tables, scenario, finite models
42	Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)	Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Bernhard Steffen, Malte Isberner, Marc Jasper	Playing with Abstraction and Representation.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente	Replicating Data for Better Performances in X10.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Jan Reineke 0001, Reinhard Wilhelm	Static Timing Analysis - What is Special?	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Fritz Henglein, Jakob Rehof	Modal Intersection Types, Two-Level Languages, and Staged Synthesis.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Last Mile's Resources.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Stephen Gilmore, Jane Hillston, Natalia Zon	Abstract Interpretation of PEPA Models.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Christian W. Probst, Florian Kammüller, René Rydhof Hansen	Formal Modelling and Analysis of Socio-Technical Systems.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman	Static Analysis of Parity Games: Alternating Reachability Under Parity.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Chris Hankin	Game Theory and Industrial Control Systems.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Arnd Hartmanns, Holger Hermanns, Jan Krcál	Schedulers are no Prophets.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Kalmer Apinis, Helmut Seidl, Vesal Vojdani	Enhancing Top-Down Solving with Widening and Narrowing.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir	Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen	An Automata-Based Approach to Trace Partitioned Abstract Interpretation.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Alessandra Di Pierro, Herbert Wiklicky	Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	David A. Schmidt	Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
42	Alan Mycroft, Dominic A. Orchard, Tomas Petricek 0001	Effect Systems Revisited - Control-Flow Algebra and Semantics.	Semantics, Logics, and Calculi	2016	DBLP DOI BibTeX RDF
41	Jochen Renz, Gérard Ligozat	Weak Composition for Qualitative Spatial and Temporal Reasoning.	CP	2005	DBLP DOI BibTeX RDF
41	Masahito Hasegawa	Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi.	TLCA	1997	DBLP DOI BibTeX RDF
41	Marina Lenisa	Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi.	TLCA	1997	DBLP DOI BibTeX RDF
41	Pawel Urzyczyn	Inhabitation in Typed Lambda-Calculi (A Syntactic Approach).	TLCA	1997	DBLP DOI BibTeX RDF
41	Hongwei Xi	Weak and Strong Beta Normalisations in Typed Lambda-Calculi.	TLCA	1997	DBLP DOI BibTeX RDF
41	Paul-André Melliès	Typed lambda-calculi with explicit substitutions may not terminate.	TLCA	1995	DBLP DOI BibTeX RDF
41	Davide Sangiorgi	Bisimulation in Higher-Order Process Calculi.	PROCOMET	1994	DBLP BibTeX RDF
41	Bart Jacobs 0001	Semantics of lambda-I and of other substructure lambda calculi.	TLCA	1993	DBLP DOI BibTeX RDF
41	Masako Takahashi	Lambda-Calculi with Conditional Rules.	TLCA	1993	DBLP DOI BibTeX RDF
41	Edsger W. Dijkstra	The Unification of Three Calculi.	NATO ASI PDC	1992	DBLP DOI BibTeX RDF
40	Arnon Avron, Beata Konikowska	Rough Sets and 3-Valued Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	rough sets, three-valued logics, sequent calculi, non-deterministic matrices
40	Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero	End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.	FM	2005	DBLP DOI BibTeX RDF	UML, performance analysis, security analysis, process calculi
40	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Calculli for Gödel-Dummett Logics.	CSL	2003	DBLP DOI BibTeX RDF	Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
40	Gilles Barthe, Tarmo Uustalu	CPS translating inductive and coinductive types.	PEPM	2002	DBLP DOI BibTeX RDF	classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
38	Jesper Bengtson, Joachim Parrow	Psi-calculi in Isabelle.	TPHOLs	2009	DBLP DOI BibTeX RDF
38	Roberto Bruni	Calculi for Service-Oriented Computing.	SFM	2009	DBLP DOI BibTeX RDF
38	Arnon Avron, Anna Zamansky	Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.	LFCS	2009	DBLP DOI BibTeX RDF
38	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
38	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Event Structure Semantics for Nominal Calculi.	CONCUR	2006	DBLP DOI BibTeX RDF
38	Marco Ragni, Stefan Wölfl 0001	Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.	KI	2005	DBLP DOI BibTeX RDF
38	Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto	Model Checking for Nominal Calculi.	FoSSaCS	2005	DBLP DOI BibTeX RDF
38	Andrew D. Gordon 0001	From Typed Process Calculi to Source-Based Security.	SAS	2005	DBLP DOI BibTeX RDF
38	Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos	A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF
38	Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi	Calculi of Meta-variables.	CSL	2003	DBLP DOI BibTeX RDF