Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Jifeng He 0001, Qiwen Xu |
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Verification, Semantics, Hybrid systems, Duration Calculus |
27 | Gang Chen |
Coercive subtyping for the calculus of constructions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion |
27 | Xiaojuan Zheng, Tao Xu, Ying Jin 0002 |
Formalizing Active Networks Security with Seal-Calculus. |
ISPA |
2003 |
DBLP DOI BibTeX RDF |
ANs, active codes, Seal-calculus, security, formalization |
27 | Matthew Hennessy, James Riely |
Information flow vs. resource access in the asynchronous pi-calculus. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference |
27 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics |
27 | Robert Demolombe, Erwan Hamon |
What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
intentional attitude, situation calculus, formalisms and logics |
27 | Brendan P. Mahony |
The Least Conjunctive Refinement and Promotion in the Refinement Calculus. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Frame typing, Z, Refinement calculus, Promotion, Predicate transformers |
27 | Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner |
Linearity and the pi-calculus. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
linear types, concurrency, pi-calculus, process calculi, confluence |
27 | Leonid A. Kalinichenko |
Compositional Specification Calculus for Information Systems Development. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development |
27 | Dang Van Hung |
Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
Biphase Mark Protocol, Theorem Prover, Duration Calculus |
27 | Xiaogang Zhang, John Potter |
Class-Based Models in the -Calculus. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
class-based, concurrency, object models, pi-calculus, multiple inheritance |
27 | Allen Van Gelder, Rodney W. Topor |
Safety and Translation of Relational Calculus Queries. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
allowed formulas, evaluable formulas, existential normal, relational algebra, query translation, relational calculus, domain independence |
27 | Vineet Rajani, Arun Kumar 0002, Dharanipragada Janakiram |
Xi-Calculus: A Calculus for Service Interactions. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
SOA, Calculus, Service Interactions |
25 | Yuxi Fu |
Fair ambients. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
25 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum |
Reasoning about static and dynamic properties in alloy: A purely relational approach. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
fork algebras, relational specifications, Alloy |
25 | Stefan Wölfl 0001, Till Mossakowski |
Casl Specifications of Qualitative Calculi. |
COSIT |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Claudio Sacerdoti Coen |
Explanation in Natural Language of lamda-µµ-Terms. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Iain Phillips 0001, Maria Grazia Vigliotti |
Electoral Systems in Ambient Calculi. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Tatsuya Abe 0001 |
A Concurrent System of Multi-ported Processes with Causal Dependency. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Davide Sangiorgi |
Types, or: Where's the Difference Between CCS and pi? |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Luca de Alfaro |
Model Checking the World Wide Web. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen |
What Are Polymorphically-Typed Ambients? |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Witold Charatonik, Jean-Marc Talbot |
The Decidability of Model Checking Mobile Ambients. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy |
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
confluency, explicit substitutions |
25 | Robin Milner |
Higher-Order Action Calculi. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz |
Some techniques for minimizing and optimizing the rule base of an expert system. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
25 | John C. Mitchell, Robert Harper 0001 |
The Essence of ML. (long version: TOPLAS 15(2): 211-252 (1993)) |
POPL |
1988 |
DBLP DOI BibTeX RDF |
ML |
25 | Ashraful A. Chowdhury, C. Van Nelson, Clinton P. Fuelling, Roy L. McCormick |
Predicting success of a beginning computer course using logistic regression (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 |
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Hugo Herbelin, Stéphane Zimmermann |
An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Michele Pagani, Paolo Tranquilli |
Parallel Reduction in Resource Lambda-Calculus. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Linh Anh Nguyen, Andrzej Szalas |
A Tableau Calculus for Regular Grammar Logics with Converse. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson |
Enriching an Effect Calculus with Linear Types. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Giacomazzi, Gabriella Saddemi |
Bounded-Variance Network Calculus: Computation of Tight Approximations of End-to-End Delay. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Peter Selinger, Benoît Valiron |
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Huamei Qi, Zhigang Chen 0001, Lianming Zhang |
Towards End-to-end Delay Bounds on WMNs Based on Statistical Network Calculus. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Zining Cao |
Equivalence Checking for a Finite Higher Order pi-Calculus. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Jens B. Schmitt, Frank A. Zdarsky, Markus Fidler |
Delay Bounds under Arbitrary Multiplexing: When Network Calculus Leaves You in the Lurch... |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Kazunori Ueda |
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Jing Xie 0001, Yuming Jiang 0001 |
An analysis on error servers for stochastic network calculus. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Claudia Faggian, Mauro Piccolo |
Ludics is a Model for the Finitary Linear Pi-Calculus. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Gang Xue, Joan Lu, Shaowen Yao 0001 |
Investigating Workflow Patterns in Term of Pi-calculus. |
CSCWD |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Lijun Wu, Jinshu Su |
Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus. |
LSMS (1) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Andrew Phillips, Luca Cardelli, Giuseppe Castagna |
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman |
p_RBT-calculus Compensation and Exception Handling Protocol. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Zining Cao |
More on Bisimulations for Higher Order pi-Calculus. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Frédéric Loulergue |
A calculus of functional BSP programs with projection. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Maribel Fernández, Fabien Fleutot |
A historic functional and object-oriented calculus. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
functional programming, pattern-matching, objects, types |
25 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
Encoding CDuce in the Cpi-Calculus. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Marino Miculan, Giorgio Bacci |
Modal Logics for Brane Calculus. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yo Ohta, Masahito Hasegawa |
A Terminating and Confluent Linear Lambda Calculus. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Naoki Kobayashi 0001, Kohei Suenaga, Lucian Wischik |
Resource Usage Analysis for the pi-Calculus. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec |
Strong Normalization of the Dual Classical Sequent Calculus. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Pablo Sáez |
Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Rajeev Goré, Linh Anh Nguyen |
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Mingyu Chen 0002, Jinsong Zhang, Manohar N. Murthi, Kamal Premaratne |
TCP congestion avoidance: a network calculus interpretation and performance improvements. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alwen Fernanto Tiu |
Model Checking for pi-Calculus Using Proof Search. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
25 | W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe |
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Fenglei Liu, Zhenhua Yu 0001, Yuanli Cai |
Modeling and Analysis of Multi-agent Systems Based on pi-Calculus. |
CIS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Sonia Fagorzi, Elena Zucca, Davide Ancona |
Modeling multiple class loaders by a calculus for dynamic linking. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
multiple loaders, Java, dynamic linking |
25 | Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Baillot, Virgile Mogbil |
Soft lambda-Calculus: A Language for Polynomial Time Computation. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Krishna Pandit, Jens B. Schmitt, Ralf Steinmetz |
Network calculus meets queueing theory -a simulation based approach to bounded queues. |
IWQoS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Davide Ancona, Eugenio Moggi |
A Fresh Calculus for Name Management. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
25 | 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 |
25 | Radha Jagadeesan, Alan Jeffrey, James Riely |
A Calculus of Untyped Aspect-Oriented Programs. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
On the Universal and Existential Fragments of the µ-Calculus. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Alexander A. Razborov, Avi Wigderson, Andrew Chi-Chih Yao |
Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus. |
Comb. |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000): 03F20, 68Q17 |
25 | José Espírito Santo |
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Michele Boreale, Daniele Gorla |
On Compositional Reasoning in the Spi-calculus. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
reasoning on security, process calculi, axiomatization |
25 | Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi |
The Complexity of the Graded µ-Calculus. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Masahito Hasegawa |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Oscar Nierstrasz, Franz Achermann |
A Calculus for Modeling Software Components. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno |
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Mario Cáccamo, Glynn Winskel |
A Higher-Order Calculus for Categories. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Cristiano Calcagno |
Stratified operational semantics for safety and correctness of the region calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Silvia Ghilezan, Viktor Kuncak |
Confluence of Untyped Lambda Calculus via Simple Types. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Leonidas Fegaras, David Maier 0001 |
Optimizing object queries using an effective calculus. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
query decorrelation, query optimization, object-oriented databases, nested relations |
25 | Silvano Dal-Zilio |
An Interpretation of Typed Concurrent Objects in the Blue Calculus. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Peter W. O'Hearn |
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Irina M. Smarandache, Thierry Gautier, Paul Le Guernic |
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Gavin M. Bierman |
A Computational Interpretation of the lambda-µ-Calculus. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Bruno Pagano |
X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Shiu-Kai Chin, Jang Dae Kim |
An Instruction Set Process Calculus. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández 0001 |
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
timed logic, formal verification, refinement, VHDL, denotational semantics, digital circuits, program logic |
25 | Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001 |
Explicit Substitutions for the Lambda-Calculus. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Naoki Kobayashi 0001 |
A Partially Deadlock-Free Typed Process Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Di Blasio, Kathleen Fisher |
A Calculus for Concurrent Objects. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy |
A Calculus of Mobile Agents. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Huimin Lin |
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Leonidas Fegaras, David Maier 0001 |
Towards an Effective Calculus for Object Query Languages. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Robert Muller |
A Staging Calculus and its Application to the Verification of Translators. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Robin Milner |
Pi-Nets: A Graphical Form of pi-Calculus. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Benjamin Z. Li |
A pi-Calculus Specification of Prolog. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Patricia Johann, Michael Kohlhase |
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Diego Latella, Paola Quaglia |
A Fully Parallel Calculus of Synchronizing Processes. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Natarajan Shankar |
Proof Search in the Intuitionistic Sequent Calculus. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|