|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Lawrence Moore, David A. Smith |
Project CALC: Calculus as a Laboratory Course. |
ICCAL |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Dale Miller 0001 |
The pi-Calculus as a Theory in Linear Logic: Preliminary Results. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Ralph-Johan Back |
Refinement Calculus, Part II: Parallel and Reactive Programs. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering |
25 | Matthias Felleisen |
lambda-V-CS: An Extended lambda-Calculus for Scheme. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
SCHEME |
25 | Gérard P. Huet |
Induction Principles Formalized in the Calculus of Constructions. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
25 | György E. Révész |
Rule-Based Semantics for an Extended Lambda-Calculus. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Hirschkoff |
A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Hugo Herbelin |
Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies). |
|
1995 |
RDF |
|
25 | Lukasz Majka |
Using Fractional Calculus in an Attempt at Modeling a High Frequency AC Exciter. |
RRNR |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Radoslaw Cioc |
Differintegarator Based on Fractional Calculus of Convex Functions. |
RRNR |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis |
A type discipline for authorization policies. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Authorization, type systems, process calculus, spi calculus |
24 | Andrew Hughes |
A framework for mobile Java applications. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
TNT, Java, mobility, CaSE, CCS, process calculus, ambient calculus |
24 | James J. Leifer, Robin Milner |
Shallow Linear Action Graphs and their Embeddings. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Action calculus, Graph embedding, Process calculus |
24 | Lindsay Groves |
A formal approach to program modification. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification |
24 | Iliano Cervesato, Frank Pfenning |
Linear Higher-Order Pre-Unification. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions |
24 | Juha Plosila, Kaisa Sere |
Action Systems in Pipelined Processor Design. |
ASYNC |
1997 |
DBLP DOI BibTeX RDF |
pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems |
24 | James L. Caldwell |
Moving Proofs-As-Programs into Practice. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications |
24 | V. K. Murthy |
Transactional programming for distributed agent systems. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
transactional programming, multiagent programming paradigm, transactional logic model, DATRAP, production rule system, high-level data structures, execution semantics, computational complexity, complexity, formal specification, formal specification, database, distributed algorithms, distributed program, granularity, refinement calculus, refinement calculus, active objects, distributed agent systems |
24 | Alicia D'Anjou, Manuel Graña, Francisco Javier Torrealdea, M. C. Hernández 0001 |
Solving Satisfiability Via Boltzmann Machines. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
consensus function maxima, simulated annealing, simulated annealing, satisfiability, computational model, set theory, calculus, Boltzmann machines, Boltzmann machines, propositional calculus |
24 | Jeffrey A. Barnett |
Calculating Dempster-Shafer Plausibility. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility |
24 | Martin K. Solomon |
Some properties of relational expressions. |
ACM Southeast Regional Conference |
1979 |
DBLP DOI BibTeX RDF |
equi-join, predicate lock, Concurrency, query optimization, relational algebra, undecidability, relational calculus, predicate calculus, natural join |
22 | Ronald Garcia, Andrew Lumsdaine, Amr Sabry |
Lazy evaluation and delimited control. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics |
22 | Alwen Tiu, Rajeev Goré |
A Proof Theoretic Analysis of Intruder Theories. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
AC convergent theories, intruder deduction, security protocols, sequent calculus |
22 | José L. Balcázar |
Deduction Schemes for Association Rules. |
Discovery Science |
2008 |
DBLP DOI BibTeX RDF |
deductive calculus, Association rules, redundancy |
22 | Gordon D. Plotkin, Matija Pretnar |
A Logic for Algebraic Effects. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations |
22 | Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001 |
Cyclic dependencies in modular performance analysis. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
fixpoint iteration, performance analysis, real-time calculus |
22 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings for Explicit Substitutions Calculi. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
22 | Xiaoju Dong, Yuxi Fu |
Barbed Congruence of Asymmetry and Mismatch. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
bisimulation, axiomatization, process calculus |
22 | Ke Xu, Yuexuan Wang, Cheng Wu |
Formal verification technique for grid service chain model and its application. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
grid service chain, state Pi calculus, model checking, formal method, grid |
22 | Georgios K. Giannikis, Aspassia Daskalopulu |
The Representation of e-Contracts as Default Theories. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription |
22 | Chantal Berline, Giulio Manzonetto, Antonino Salibra |
Lambda Theories of Effective Lambda Models. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models |
22 | Alwen Tiu |
A Local System for Intuitionistic Logic. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures |
22 | Jan-David Quesel, Andreas Schäfer 0001 |
Spatio-temporal Model Checking for Mobile Real-Time Systems. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic |
22 | Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
BASS: boxed ambients with safe sessions. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
boxed ambients, session types, ambient calculus |
22 | Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen |
A Model Checking Tool Embedded into Services Composition Environment. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
Pi-calculus type system web services Composition verification tool compatibility |
22 | Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter |
Relating Categorical Semantics for Intuitionistic Linear Logic. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus |
22 | Naijun Zhan, Mila E. Majster-Cederbaum |
Deriving Non-determinism from Conjunction and Disjunction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism |
22 | Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng |
Duration-constrained regular expressions. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Regular expressions, Hybrid automata, Duration Calculus |
22 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang |
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
Cryptographic lambda-calculus, Subscone, Monads, Logical relations |
22 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
22 | Bo Chen, Mingtian Zhou |
A Pure Mereological Approach to Roughness. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
Granular Calculus, Mereological Relation, Granular Rough Theory |
22 | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time? |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling |
22 | Kai Brünnler |
Atomic Cut Elimination for classical Logic. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
atomic cut, sequent calculus, cut elimination, natural deduction, classical logic |
22 | Anton Setzer |
Java as a Functional Programming Language. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value |
22 | Hong-Cheu Liu, Jeffrey Xu Yu |
Safe Database Queries with External Functions. |
IDEAS |
1999 |
DBLP DOI BibTeX RDF |
Allowed formulas, query languages, relational algebra, query translation, relational calculus, complex value, domain independence |
22 | Shuzhen Dong, Qiwen Xu, Naijun Zhan |
A Formal Proof of the Rate Monotonic Scheduler. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Scheduling, Logic, Duration Calculus, Formal Proof, Feasibility |
22 | Michael Poppleton, Richard Banach |
Retrenchment: Extending the Reach of Refinement. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development |
22 | Arnaud Venet |
Automatic Determination of Communication Topologies in Mobile Systems. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
nonstandard semantics, abstract interpretation, calculus |
22 | Eugene Eberbach |
A Generic Tool for Distributed AI with Matching as Message Passing. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
symbolic and subsymbolic AI, simple modifying algorithm, neural networks, genetic programming, process algebra, cost functions, calculus, inference engine |
22 | Devesh B. Chokshi, Purandar Bhaduri |
Performance analysis of FlexRay-based systems using real-time calculus, revisited. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
FlexRay, real-time calculus |
22 | Michal Kozak |
Distributive Full Lambek Calculus Has the Finite Model Property. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice |
22 | Xian Xu 0001 |
On Bisimulation Theory in Linear Higher-Order pi-Calculus. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order |
22 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics |
22 | Stefano Bromuri, Kostas Stathis |
Distributed agent environments in the Ambient Event Calculus. |
DEBS |
2009 |
DBLP DOI BibTeX RDF |
distributed agent environments, research paper, MAS, event calculus |
22 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
behavioural types, safety, decidability, pi-calculus, spatial logic |
22 | Mylène Maurin, Morgan Magnin, Olivier H. Roux |
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. |
BICoB |
2009 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, System biology, Genetic regulatory network |
22 | Claus Diem, Emmanuel Thomé |
Index Calculus in Class Groups of Non-hyperelliptic Curves of Genus Three. |
J. Cryptol. |
2008 |
DBLP DOI BibTeX RDF |
Index calculus, Non-hyperelliptic curves, Class groups, Jacobians |
22 | Boban Marinkovic |
Optimality conditions for discrete calculus of variations problems. |
Optim. Lett. |
2008 |
DBLP DOI BibTeX RDF |
Discrete calculus of variations, 2-regularity, Mathematical programming, Optimality conditions |
22 | Benson S. Y. Lam, Alan Wee-Chung Liew, David K. Smith 0001, Hong Yan 0001 |
A Regularized Clustering Algorithm Based on Calculus of Variations. |
J. Signal Process. Syst. |
2008 |
DBLP DOI BibTeX RDF |
clustering, microarray data analysis, calculus of variations |
22 | Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
22 | Svein Yngvar Willassen |
Using simplified event calculus in digital investigation. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
propositional logic, event calculus, digital investigation |
22 | Michael Backes 0001, Catalin Hritcu, Matteo Maffei |
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Electronic Voting Protocols, Language-based security, Applied Pi-calculus |
22 | Lucia Acciai, Michele Boreale |
A Type System for Client Progress in a Service-Oriented Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
type systems, service-oriented computing, pi-calculus, process calculi |
22 | Alexandre Rademaker, Edward Hermann Haeusler |
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. |
SBIA |
2008 |
DBLP DOI BibTeX RDF |
description logics, proof theory, sequent calculus |
22 | Joey Paquet, Serguei A. Mokhov, Xin Tong 0002 |
Design and Implementation of Context Calculus in the GIPSY Environment. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Context-driven computation, Context calculus, Intensional programming |
22 | Lucia Acciai, Michele Boreale |
Spatial and Behavioral Types in the Pi-Calculus. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
behavioural type systems, pi-calculus, spatial logic |
22 | Jacques Duparc, Alessandro Facchini |
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). |
CiE |
2008 |
DBLP DOI BibTeX RDF |
Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus |
22 | Michael Backes 0001, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. |
SP |
2008 |
DBLP DOI BibTeX RDF |
zero-knowledge, Language-based security, automated verification, applied pi-calculus |
22 | Gaëlle Fontaine |
Continuous Fragment of the mu-Calculus. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus |
22 | Liming Chen 0001, Chris D. Nugent, Maurice D. Mulvenna, Dewar D. Finlay, Xin Hong, Michael P. Poland |
Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. |
ICOST |
2008 |
DBLP DOI BibTeX RDF |
behavior reasoning, cognitive modeling, smart homes, assistive living, Event calculus |
22 | Theodore Patkos, Dimitris Plexousakis |
A Theory of Action, Knowledge and Time in the Event Calculus. |
SETN |
2008 |
DBLP DOI BibTeX RDF |
Action Theories, Event Calculus, Reasoning about Knowledge |
22 | Martín Abadi, Bruno Blanchet, Cédric Fournet |
Just fast keying in the pi calculus. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
IP security, key exchange, process calculus |
22 | Jan Van den Bussche, Stijn Vansummeren |
Polymorphic type inference for the named nested relational calculus. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
named nested relational calculus, typability, complexity, Type inference |
22 | Annabelle McIver, Carroll Morgan |
Results on the quantitative µ-calculus qMµ. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Angelic choice, demonic choice, minimax theorem, modal mu-calculus, probabilistic choice, quantitative aspects of programming languages, denotational semantics, game semantics |
22 | Denis Béchet |
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
parsing, linear logic, context-free grammars, pregroup, Lambek calculus |
22 | Yu Cheng 0003, Weihua Zhuang, Xinhua Ling |
Towards an FBM Model Based Network Calculus Framework with Service Differentiation. |
Mob. Networks Appl. |
2007 |
DBLP DOI BibTeX RDF |
quality of service, differentiated services, traffic model, network calculus, fractional Brownian motion |
22 | Jean-Louis Krivine |
A call-by-name lambda-calculus machine. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Lambda-calculus machine, Control instruction, Curry-Howard correspondence |
22 | Lloyd Humberstone |
Investigations into a left-structural right-substructural sequent calculus. |
J. Log. Lang. Inf. |
2007 |
DBLP DOI BibTeX RDF |
Multiplicative disjunction, Fission, Structural rules, Sequent calculus, Substructural logics |
22 | Kishore Angrishi, Shu Zhang, Ulrich Killat |
Analysis of a Real-Time Network Using Statistical Network Calculus with Approximate Invariance of Effective Bandwidth. |
KiVS |
2007 |
DBLP DOI BibTeX RDF |
Quality-of-service, Network calculus, effective bandwidth, statistical multiplexing |
22 | Ryan F. Kelly, Adrian R. Pearce |
Knowledge and observations in the situation calculus. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
observability, knowledge, action, situation calculus |
22 | Steven Givant |
The Calculus of Relations as a Foundation for Mathematics. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
calculus of relations, authomated reasoning, set theory, algebraic logic, mathematical foundation |
22 | Sol Swords, William R. Cook |
Soundness of the simply typed lambda calculus in ACL2. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
lambda-calculus, soundness, ACL2 |
22 | Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman |
Operability of p-calculus Technology in P2P Collaboration Business Network. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
calculus technology service, P2P, formal language, shared computing |
22 | Chanchal Kumar Roy, Thomas Noll 0001, Banani Roy, James R. Cordy |
Towards automatic verification of Erlang programs by pi-calculus translation. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
translation mapping, mobile systems, ?-calculus, functional programming languages |
22 | Klaus Aehlig, Jan Johannsen |
An elementary fragment of second-order lambda calculus. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
Elementary recursive functions, complexity, lambda calculus, second order logic |
22 | Huimin Lin |
Predicate µ-Calculus for Mobile Ambients. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
model checking, mu-calculus, fixpoints, spatial logic, mobile ambients |
22 | Maciej Farulewski |
On Finite Models of the Lambek Calculus. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
finite model property, substructural logics, Lambek Calculus |
22 | Marco Antonio Barbosa |
A refinement calculus for software components and architectures. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
software architectures, refinement calculus |
22 | Andreas Schäfer 0001 |
Axiomatisation and Decidability of Multi-dimensional Duration Calculus. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic |
22 | Thomas Noll 0001, Chanchal Kumar Roy |
Modeling Erlang in the pi-calculus. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
mobile systems, pi-calculus, functional programming languages |
22 | Flávio Oquendo |
pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
specification languages, Architecture Description Languages, ?-calculus, dynamic architectures, mobile architectures |
22 | Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin |
Predicting cell adhesion probability via the biochemical stochastic pi-calculus. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, cell adhesion mechanics, formal models J@process algebra, lymphocyte recruitment, concurrency theory |
22 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo |
A New Synchronization in Finite Stochastic Petri Box Calculus. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
22 | Serge Chaumette, Pascal Grange |
Parallelizing Multithreaded Java Program: A Criterion and Its p-Calculus Foundation. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
parallelization criterion, Java, pi-calculus, active objects, automatic distribution |
22 | Naoyuki Nide, Shiro Takata |
Deduction systems for BDI logics using sequent calculus. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
sequent calculus, rational agents, BDI logic, deduction system |
22 | Hanane El Bakkali, Bahia Idrissi Kaitouni |
A Predicate Calculus Logic for the PKI Trust Model Analysis. |
NCA |
2001 |
DBLP DOI BibTeX RDF |
certificate policy, trust relationships, logic-based approach, authentication, certificate, PKI, trust model, predicate calculus |
22 | Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
p-calculus, CORBA, open systems, behavioral specifications, protocol specifications |
22 | Eli Ben-Sasson, Russell Impagliazzo |
Random CNF's are Hard for the Polynomial Calculus. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
polynomial calculus, satisfiability, proof complexity |
22 | Marc Gengler, Matthieu Martel |
Self-Applicable Partial Evaluation for the pi-Calculus. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis |
22 | Julian C. Bradfield, Javier Esparza, Angelika Mader |
An Effective Tableau System for the Linear Time µ-Calculus. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
linear-time -calculus, local model-checking, temporal logic, tableau systems |
Displaying result #401 - #500 of 12317 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|