The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase mu-calculi (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1940-1964 (15) 1965-1971 (18) 1972-1975 (15) 1976-1979 (15) 1981-1984 (19) 1985-1988 (28) 1989-1990 (26) 1991 (17) 1992 (48) 1993 (69) 1994 (78) 1995 (61) 1996 (49) 1997 (95) 1998 (71) 1999 (87) 2000 (66) 2001 (85) 2002 (67) 2003 (81) 2004 (95) 2005 (179) 2006 (111) 2007 (144) 2008 (114) 2009 (133) 2010 (61) 2011 (55) 2012 (44) 2013 (65) 2014 (81) 2015 (62) 2016 (73) 2017 (33) 2018 (40) 2019 (49) 2020 (42) 2021 (39) 2022 (32) 2023 (37) 2024 (7)
Publication types (Num. hits)
article(704) book(12) incollection(16) inproceedings(1693) phdthesis(57) proceedings(24)
Venues (Conferences, Journals, ...)
TLCA(321) CoRR(114) Theor. Comput. Sci.(54) APC 25(51) TABLEAUX(50) LICS(47) CSL(46) MeCBIC(45) CONCUR(41) Notre Dame J. Formal Log.(41) Stud Logica(37) CADE(36) RTA-TLCA(34) LPAR(33) FoSSaCS(31) PROCOMET(29) More (+10 of total 511)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 704 occurrences of 408 keywords

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