Search results for "pi-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Chris George, Zhiming Liu 0001, Jim Woodcock 0001 (eds.)	Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
36	Alan Burns 0001, Andy J. Wellings	Delivering Real-Time Behaviour.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
36	Chris George	Applicative Modelling with RAISE.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
36	Cliff B. Jones	Understanding Programming Language Concepts Via Operational Semantics.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
36	Corrado Böhm (eds.)	Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Corrado Böhm, Mariangiola Dezani-Ciancaglini	Lambda-terms as total or partial functions on normal forms.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Dana S. Scott	Some philosophical issues concerning theories of combinators.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Marisa Venturini Zilli	A model with nondeterministic computation.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Carlo Batini, Alberto Pettorossi	On subrecursiveness in weak combinatory logic.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	J. W. de Bakker	Least fixed points revisited.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Vladimir Yu. Sazonov	Sequentially and parallelly computable functionals.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Dana S. Scott	Combinators and classes.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	A. Dubinsky	Computation on arbitrary algebras.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36		Open problems.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Henk Barendregt	Normed uniformly reflexive structures.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Giuseppe Jacopini	A condition for identifying two elements of whatever model of combinatory logic.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Jan Willem Klop	On solvability by lambda I - terms.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
36	Peter H. Welch	Continuous semantics and inside-out reductions.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
35	Oliver Bittel	Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving
35	Barbara Petit	A Polymorphic Type System for the Lambda-Calculus with Constructors.	TLCA	2009	DBLP DOI BibTeX RDF	strong normalisation, pattern matching, polymorphism, lambda-calculus
35	Anne Bouillard, Eric Thierry	An Algorithmic Toolbox for Network Calculus.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Functional (min,+) algebra, Algorithmics, Computational complexity, Network calculus
35	Marie-Renée Fleury, Myriam Quatrini	A Mixed lambda-calculus.	Stud Logica	2007	DBLP DOI BibTeX RDF	Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization
35	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
35	András Gulyás, József Bíró	Workload Loss Examinations with a Novel Probabilistic Extension of Network Calculus.	Networking	2006	DBLP DOI BibTeX RDF	statistical multi- plexing, Network calculus, resource estimation
35	Yuming Jiang 0001	A basic stochastic network calculus.	SIGCOMM	2006	DBLP DOI BibTeX RDF	independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server
35	Hongbing Chen, Qun Yang, Manwu Xu	A Calculus for MAS Interaction Protocol.	PRIMA	2006	DBLP DOI BibTeX RDF	Dialogue protocol, Multi-agent, Interaction protocol, ?-Calculus
35	Li Kuang, Ying Li 0001, ShuiGuang Deng, Jian Wu 0001, Wei Shi, Zhaohui Wu 0001	Expressing Service and Query Behavior Using pi-Calculus for Matchmaking.	Web Intelligence	2006	DBLP DOI BibTeX RDF	Service Behavior, Web Service, pi-calculus, Service Matchmaking
35	Frédéric Peschanski, Samuel Hym	A stackless runtime environment for a Pi-calculus.	VEE	2006	DBLP DOI BibTeX RDF	garbage collection, interpreter, operational semantics, Pi-calculus
35	Simon Helsen	Bisimilarity for the Region Calculus.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	region calculus, bisimulation, equational theory, contextual equivalence
35	Martin Fränzle	Model-checking dense-time Duration Calculus.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Dense-time Duration Calculus, Model-checking, Decidability
35	Silvio do Lago Pereira, Leliane Nunes de Barros	High-Level Robot Programming: An Abductive Approach Using Event Calculus.	SBIA	2004	DBLP DOI BibTeX RDF	planning, abduction, event calculus, cognitive robotics
35	Luigi Liquori, Bernard P. Serpette	iRho: an imperative rewriting calculus.	PPDP	2004	DBLP DOI BibTeX RDF	certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
35	Thomas M. Schmidt, Frederick E. Petry, Roy Ladner	The Object Event Calculus and Temporal Geographic Information Systems.	IEA/AIE	2003	DBLP DOI BibTeX RDF	temporal object model, Event Calculus, spatiotemporal data, Temporal GIS
35	Riccardo Pucella	Towards a formalization for COM part i: the primitive calculus.	OOPSLA	2002	DBLP DOI BibTeX RDF	components, interfaces, type system, formalism, calculus, COM
35	Carola Eschenbach	A Predication Calculus for Qualitative Spatial Representations.	COSIT	1999	DBLP DOI BibTeX RDF	Topology, Inferences, Axiomatics, Qualitative Spatial Reasoning, Spatial Structure, Predication Calculus, Mereology
35	Alexander A. Razborov	Lower Bounds for the Polynomial Calculus.	Comput. Complex.	1998	DBLP DOI BibTeX RDF	polynomial calculus, Proof complexity, pigeonhole principle
35	Yuxi Fu	The x-Calculus.	APDC	1997	DBLP DOI BibTeX RDF	bisimulation, pi-calculus
35	Luis Mandel, María Victoria Cengarle	The Disjunctive Constrained Lambda Calculus.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	constraints, functional programming, lambda calculus, denotational semantics, multiple solutions
35	Michael R. Hansen, Zhou Chaochen	Semantics and Completeness of Duration Calculus.	REX Workshop	1991	DBLP DOI BibTeX RDF	relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic
35	Markus Fidler, Jens B. Schmitt	On the way to a distributed systems calculus: an end-to-end network calculus with data scaling.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	network calculus, packetizers, scaling functions
34	Nicolas Tabareau	A theory of distributed aspects.	AOSD	2010	DBLP DOI BibTeX RDF
34	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
34	Orna Kupferman, Moshe Y. Vardi	Π2 ∩ Σ2 ≡ AFMC.	ICALP	2003	DBLP DOI BibTeX RDF
34	Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi	Minimality Results for the Spatial Logics.	FSTTCS	2003	DBLP DOI BibTeX RDF
34	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	The Rho Cube.	FoSSaCS	2001	DBLP DOI BibTeX RDF
34	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Matching Power.	RTA	2001	DBLP DOI BibTeX RDF
34	Cristian Ene, Traian Muntean	Expressiveness of Point-to-Point versus Broadcast Communications.	FCT	1999	DBLP DOI BibTeX RDF
34	Davide Sangiorgi	An Investigation into Functions as Processes.	MFPS	1993	DBLP DOI BibTeX RDF
34	Baohua Fan, Heying Zhang, Wenhua Dou	A Max-plus Network Calculus.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
34	Daisuke Kimura, Makoto Tatsuta	Dual Calculus with Inductive and Coinductive Types.	RTA	2009	DBLP DOI BibTeX RDF
34	Viorica R. Chifu, Ioan Salomie, Simona Manole	Fluent Calculus Based Web Service Composition.	RR	2008	DBLP DOI BibTeX RDF
34	William Blum, C.-H. Luke Ong	The Safe Lambda Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
34	Juliana de Melo Bezerra, Celso Massaki Hirata	A Semantics for UML-RT using n-calculus.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
34	Ozan Kahramanogullari	Reducing Nondeterminism in the Calculus of Structures.	LPAR	2006	DBLP DOI BibTeX RDF
34	Alexander J. Summers, Steffen van Bakel	Approaches to Polymorphism in Classical Sequent Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
34	Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget	Sharing in the Weak Lambda-Calculus.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
34	James Laird	A Calculus of Coroutines.	ICALP	2004	DBLP DOI BibTeX RDF
34	Kentaro Kikuchi	A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.	FLOPS	2004	DBLP DOI BibTeX RDF
34	Min Zhang, Guoqiang Li 0001, Yuxi Fu, Zhizhou Zhang 0003, Lin He 0007	Representation of the Signal Transduction with Aberrance Using Ipi Calculus.	CIS	2004	DBLP DOI BibTeX RDF
34	Philippe Bidinger, Jean-Bernard Stefani	The Kell Calculus: Operational Semantics and Type System.	FMOODS	2003	DBLP DOI BibTeX RDF
34	Karol Ostrovsky, K. V. S. Prasad, Walid Taha	Towards a primitive higher order calculus of broadcasting systems.	PPDP	2002	DBLP DOI BibTeX RDF	calculi, semantics, concurrency, broadcasting, programming languages, ethernet
34	Alexandre Miquel	The Implicit Calculus of Constructions.	TLCA	2001	DBLP DOI BibTeX RDF
34	Alexander Scivos, Bernhard Nebel	Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation.	COSIT	2001	DBLP DOI BibTeX RDF	languages of spatial relations, spatial and temporal reasoning, incomplete or imprecise spatial knowledge, ternary relation systems, constraint propagation, qualitative spatial reasoning
34	Jean-Marc Talbot	On the Alternation-Free Horn Mu-calculus.	LPAR	2000	DBLP DOI BibTeX RDF
34	Guillaume Gillard	A Formalization of a Concurrent Object Calculus up to alpha-Conversion.	CADE	2000	DBLP DOI BibTeX RDF
34	Pedro A. de Matos, João P. Martins	Non-situation Calculus and Database Systems.	FoIKS	2000	DBLP DOI BibTeX RDF
34	Björn Victor, Joachim Parrow	Concurrent Constraints in the Fusion Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
34	Fairouz Kamareddine, Alejandro Ríos 0001	A Lambda-Calculus à la de Bruijn with Explicit Substitutions	PLILP	1995	DBLP DOI BibTeX RDF
34	Jacques Garrigue, Hassan Aït-Kaci	The Typed Polymorphic Label-Selective lambda-Calculus.	POPL	1994	DBLP DOI BibTeX RDF
34	Roberto Di Cosmo, Delia Kesner	A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.	ICALP	1993	DBLP DOI BibTeX RDF
34	Mitsuhiro Okada	Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.	ISSAC	1989	DBLP DOI BibTeX RDF
32	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
32	C. Barry Jay	The pattern calculus.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming
31	Kohei Honda 0001, Nobuko Yoshida	A uniform type structure for secure information flow.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	The ?-calculus, type-based program analysis, typing system, secure information flow
31	Antonino Salibra	Topological incompleteness and order incompleteness of the lambda calculu.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models
31	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Polynomial Approximations for Model Checking.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	model checking, complexity, Calculus
31	Ichiro Satoh	A Formalism for Hierarchical Mobile Agents.	PDSE	2000	DBLP DOI BibTeX RDF	verification, mobile agents, specification, formal model, bisimulation, process calculus
31	Raymond K. Wong 0001, H. Lewis Chau	Method Dispatching and Type Safety for Objects with Multiple Roles.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	objects with roles, type calculus, object-oriented databases
31	Maria Bulinska	On the Complexity of Nonassociative Lambek Calculus with Unit.	Stud Logica	2009	DBLP DOI BibTeX RDF	Nonassociative Lambek calculus, P-TIME decidability, Context-free grammar
31	Luca Alberucci, Alessandro Facchini	On Modal µ -Calculus and Gödel-Löb Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	Modal ?-Calculus, Gödel-Löb Logic, Fixpoint
31	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
31	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	A Relational Model of a Parallel and Non-deterministic lambda-Calculus.	LFCS	2009	DBLP DOI BibTeX RDF	denotational semantics, relational model, ?-calculus, non-determinism, parallel composition
31	Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana	Positive Fork Graph Calculus.	LFCS	2009	DBLP DOI BibTeX RDF	Positive relational calculi, fork algebras, graph calculus, completeness, decidability
31	Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda	Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	artifitial intelligence, N?-labeled calculus, mathematical knowledge management, hybrid systems
31	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A compositional Petri net translation of general pi -calculus terms.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
31	Hua Jiang, Xiang Li	An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus.	ITNG	2008	DBLP DOI BibTeX RDF	calculation complexity, NP and co-NP problem, Model Checking, mu-Calculus
31	Shuailiang Ma, Li Zhang, Jimei He	Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus.	SERA	2008	DBLP DOI BibTeX RDF	Unified Business Process Model, Verification, Workflow, Formal Modeling, Pi Calculus
31	Chengzhi Li, Almut Burchard, Jörg Liebeherr	A network calculus with effective bandwidth.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	QoS, network calculus, effective bandwidth, statistical multiplexing
31	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
31	Kazushige Terui	Light affine lambda calculus and polynomial time strong normalization.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Light logics, Lambda calculus, Polynomial time
31	Onur Aydin, Nihan Kesim Cicekli, Ilyas Cicekli	Automated Web Services Composition with the Event Calculus.	ESAW	2007	DBLP DOI BibTeX RDF	Planning, Web Service Composition, Event Calculus
31	Georg Moser, Richard Zach	The Epsilon Calculus and Herbrand Complexity.	Stud Logica	2006	DBLP DOI BibTeX RDF	Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity
31	Anna Zamansky, Nissim Francez, Yoad Winter	A 'Natural Logic' inference system using the Lambek calculus.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Natural logic, Inference, Normalization, Lambek calculus
31	Mikkel Bundgaard, Vladimiro Sassone	Typed polyadic pi-calculus in bigraphs.	PPDP	2006	DBLP DOI BibTeX RDF	Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency
31	Roy Dyckhoff, Stéphane Lengrand	LJQ: A Strongly Focused Calculus for Intuitionistic Logic.	CiE	2006	DBLP DOI BibTeX RDF	purification, call-by-value semantics, depth-bounded, guarded logic, Sequent calculus, focused
31	Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio	Labeled @-Calculus: Formalism for Time-Concerned Human Factors.	AISC	2006	DBLP DOI BibTeX RDF	Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident
31	Orna Grumberg, Tamir Heyman, Assaf Schuster	Distributed Symbolic Model Checking for µ-Calculus.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, distributed, hardware verification, symbolic, Mu-calculus
31	Olivier Hermant	Semantic Cut Elimination in the Intuitionistic Sequent Calculus.	TLCA	2005	DBLP DOI BibTeX RDF	intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
31	Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman	Deploying pi-Calculus Technology in Inter-organizational Process.	WAIM	2005	DBLP DOI BibTeX RDF	Inter-organizational ?-calculus Technology, Business Process Management, Channels, Levels
31	Yonggen Gu, Yuxi Fu, Guoqiang Li 0001	A Simple Process Calculus for the analysis of Security Protocols.	PDCAT	2005	DBLP DOI BibTeX RDF	formal method, security protocol, security property, process calculus