Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Philipp Rohde	On the µ-Calculus Augmented with Sabotage.	FoSSaCS	2006	DBLP DOI BibTeX RDF
17	Martín Abadi, Ricardo Corin, Cédric Fournet	Computational Secrecy by Typing for the Pi Calculus.	APLAS	2006	DBLP DOI BibTeX RDF
17	Meiling Wang, Longfei Jin, Lei Liu	A Description Method of Ontology Change Management Using Pi-Calculus.	KSEM	2006	DBLP DOI BibTeX RDF
17	ShuiGuang Deng, Zhaohui Wu 0001, Mengchu Zhou, Ying Li 0001, Jian Wu 0001	Modeling Service Compatibility with Pi-calculus for Choreography.	ER	2006	DBLP DOI BibTeX RDF
17	Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky	A Core Calculus for Scala Type Checking.	MFCS	2006	DBLP DOI BibTeX RDF
17	Hervé Paulino, Luís M. B. Lopes	A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus.	JMLC	2006	DBLP DOI BibTeX RDF
17	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
17	Qin Ma 0002, Luc Maranget	Information Hiding in the Join Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
17	Maria Luisa Bonet, Jordi Levy, Felip Manyà	A Complete Calculus for Max-SAT.	SAT	2006	DBLP DOI BibTeX RDF
17	Huaiguang Wu, Farong Zhong	A Study ofWeb Services Transactions Based on Real-time pi Calculus.	SKG	2006	DBLP DOI BibTeX RDF
17	Ping Yang 0002, Samik Basu 0001, C. R. Ramakrishnan 0001	Parameterized Verification of pi-Calculus Systems.	TACAS	2006	DBLP DOI BibTeX RDF
17	Pawel T. Wojciechowski	A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	lambda and object calculi, atomicity, dynamic binding
17	Jing Zhou, Guosun Zeng	Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus.	GCC	2006	DBLP DOI BibTeX RDF
17	Sylvain Salvati	Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus.	RTA	2006	DBLP DOI BibTeX RDF
17	Ugo Dal Lago, Simone Martini 0001	An Invariant Cost Model for the Lambda Calculus.	CiE	2006	DBLP DOI BibTeX RDF
17	Hakim Lamara, Laurent Vermeiren, Dominique Roger	Phi-calculus : A new fuzzy arithmetic.	ETFA	2006	DBLP DOI BibTeX RDF
17	Johannes Borgström, Olga Grinchtein, Simon Kramer 0001	Timed Calculus of Cryptographic Communication.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF	Applied process calculi, timed cryptographic protocols, model-based specification and verification, formal modelling
17	Zhilin Feng, Jianwei Yin, Zhaoyang He, Xiaoming Liu 0004, Jinxiang Dong	A Novel Architecture for Realizing Grid Workflow Using Pi-Calculus Technology.	APWeb	2006	DBLP DOI BibTeX RDF
17	Paul Libbrecht, Christian Gross 0004	Authoring LeActiveMath Calculus Content.	MKM	2006	DBLP DOI BibTeX RDF
17	Simon J. Gay, Malcolm Hole	Subtyping for session types in the pi calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
17	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Genericity and the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
17	L. Gregory Meredith, Matthias Radestock	Namespace Logic: A Logic for a Reflective Higher-Order Calculus.	TGC	2005	DBLP DOI BibTeX RDF
17	Ian Mackie	Encoding Strategies in the Lambda Calculus with Interaction Nets.	IFL	2005	DBLP DOI BibTeX RDF
17	Yuexuan Wang, Cheng Wu, Ke Xu	Study on pi-Calculus Based Equipment Grid Service Chain Model.	NPC	2005	DBLP DOI BibTeX RDF
17	Nicolas Oury	Extensionality in the Calculus of Constructions.	TPHOLs	2005	DBLP DOI BibTeX RDF
17	Robert Demolombe, Maria del Pilar Pozos Parra	The Chisholm Paradox and the Situation Calculus.	ISMIS	2005	DBLP DOI BibTeX RDF
17	Linh Anh Nguyen	An SLD-Resolution Calculus for Basic Serial Multimodal Logics.	ICTAC	2005	DBLP DOI BibTeX RDF
17	Paula Severi, Fer-Jan de Vries	Continuity and Discontinuity in Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
17	Thierry Coquand	Completeness Theorems and lambda-Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
17	Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca	Elementary Affine Logic and the Call-by-Value Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
17	Giuseppe Castagna, Rocco De Nicola, Daniele Varacca	Semantic Subtyping for the p-Calculus.	LICS	2005	DBLP DOI BibTeX RDF
17	Ken Nariai, Incheon Paik, Mitsuteru Shinozawa	Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus.	CIT	2005	DBLP DOI BibTeX RDF
17	Abbas Edalat, André Lieutier, Dirk Pattinson	A Computational Model for Multi-variable Differential Calculus.	FoSSaCS	2005	DBLP DOI BibTeX RDF
17	Ian Stark	Free-Algebra Models for the pi-Calculus.	FoSSaCS	2005	DBLP DOI BibTeX RDF
17	Steve Kremer, Mark Ryan 0001	Analysis of an Electronic Voting Protocol in the Applied Pi Calculus.	ESOP	2005	DBLP DOI BibTeX RDF
17	Serge Autexier	The CoRe Calculus.	CADE	2005	DBLP DOI BibTeX RDF
17	Lindsay Groves	Practical Data Refinement for the Z Schema Calculus.	ZB	2005	DBLP DOI BibTeX RDF
17	Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.	TABLEAUX	2005	DBLP DOI BibTeX RDF
17	Dietmar Berwanger, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	STACS	2005	DBLP DOI BibTeX RDF
17	Marcelo da Silva Corrêa, Edward Hermann Haeusler	On the Selective Lambek Calculus.	LACL	2005	DBLP DOI BibTeX RDF
17	Markus Lumpe	A Lambda Calculus with Forms.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
17	Murdoch Gabbay	A new calculus of contexts.	PPDP	2005	DBLP DOI BibTeX RDF	calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders
17	Lucia Acciai, Michele Boreale	XPi: A Typed Process Calculus for XML Messaging.	FMOODS	2005	DBLP DOI BibTeX RDF
17	Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani	An Abstract Machine for the Kell Calculus.	FMOODS	2005	DBLP DOI BibTeX RDF
17	Christian Haack, Alan Jeffrey	Timed Spi-Calculus with Types for Secrecy and Authenticity.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Jim Laird	A Game Semantics of the Asynchronous pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Alex K. Simpson	Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.	RTA	2005	DBLP DOI BibTeX RDF
17	Jérôme Rocheteau	lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value.	RTA	2005	DBLP DOI BibTeX RDF
17	Frédéric Blanqui	Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations.	CSL	2005	DBLP DOI BibTeX RDF
17	Nico Van de Weghe, Bart Kuijpers, Peter Bogaert, Philippe De Maeyer	A Qualitative Trajectory Calculus and the Composition of Its Relations.	GeoS	2005	DBLP DOI BibTeX RDF
17	Taolue Chen, Tingting Han 0001, Jian Lu 0001	On the Bisimulation Congruence in chi-Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
17	Joachim Niehren, Jan Schwinghammer, Gert Smolka	A Concurrent Lambda Calculus with Futures.	FroCoS	2005	DBLP DOI BibTeX RDF
17	Carlos Olarte, Camilo Rueda	A stochastic non-deterministic temporal concurrent constraint calculus.	SCCC	2005	DBLP DOI BibTeX RDF
17	Siva Anantharaman, Jing Chen, Gaétan Hains	A Synchronous Process Calculus for Service Costs.	SEFM	2005	DBLP DOI BibTeX RDF
17	Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson	A calculus for control flow analysis of security protocols.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Flow logic, Static analysis, Security protocols, Cryptographic protocols, Process calculi
17	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Adding the leads-to operator to Dijkstra's calculus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition
17	Kurt Stenzel	A Formally Verified Calculus for Full Java Card.	AMAST	2004	DBLP DOI BibTeX RDF
17	Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark	Nominal Games and Full Abstraction for the Nu-Calculus.	LICS	2004	DBLP DOI BibTeX RDF
17	Luís Caires	Behavioral and Spatial Observations in a Logic for the pi-Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
17	Cédric Lhoussaine, Vladimiro Sassone	A Dependently Typed Ambient Calculus.	ESOP	2004	DBLP DOI BibTeX RDF
17	Vladimir Klebanov	A JMM-Faithful Non-interference Calculus for Java.	FIDJI	2004	DBLP DOI BibTeX RDF
17	Cédric Jacquiot, Yolaine Bourda, Fabrice Popineau	GEAHS: A Generic Educational Adaptive Hypermedia System Based on Situation Calculus.	AH	2004	DBLP DOI BibTeX RDF
17	Guoyou Zhang, Yin-Zhang Guo	A formal description of self-controlling software based on pi-calculus.	SMC (7)	2004	DBLP DOI BibTeX RDF
17	Yichuan Jiang, Zhengyou Xia, YiPing Zhong, Shiyong Zhang	The Construction and Analysis of Agent Fault-Tolerance Model Based on pi-Calculus.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
17	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A lazy narrowing calculus for declarative constraint programming.	PPDP	2004	DBLP DOI BibTeX RDF	constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages
17	Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely	µABC: A Minimal Aspect Calculus.	CONCUR	2004	DBLP DOI BibTeX RDF
17	Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin	Model Checking Biological Systems Described Using Ambient Calculus.	CMSB	2004	DBLP DOI BibTeX RDF
17	K. N. Sridhar, Gabriel Ciobanu	Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
17	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	Petri Net Semantics of the Finite pi-Calculus.	FORTE	2004	DBLP DOI BibTeX RDF
17	Davide Pozza, Riccardo Sisto, Luca Durante	Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.	AINA (1)	2004	DBLP DOI BibTeX RDF
17	Ingo Schmitt, Nadine Schulz	Similarity Relational Calculus and its Reduction to a Similarity Algebra.	FoIKS	2004	DBLP DOI BibTeX RDF
17	Marco Carbone, Mogens Nielsen, Vladimiro Sassone	A Calculus for Trust Management.	FSTTCS	2004	DBLP DOI BibTeX RDF
17	Yonggen Gu, Guoqiang Li 0001, Yuxi Fu	Analyzing iKP Security in Applied Pi Calculus.	CIS	2004	DBLP DOI BibTeX RDF
17	Christian Haack, Alan Jeffrey	Pattern-Matching Spi-Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
17	Ross Street	Functorial Calculus in Monoidal Bicategories.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	enriched category, dinatural transformation, Gray monoid, dual
17	Mojtaba Aghaei, Mohammad Ardeshir	A Gentzen-style axiomatization for basic predicate calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
17	Markus Fidler	Extending the Network Calculus Pay Bursts Only Once Principle to Aggregate Scheduling.	QoS-IP	2003	DBLP DOI BibTeX RDF
17	Jan Obdrzálek	Fast Mu-Calculus Model Checking when Tree-Width Is Bounded.	CAV	2003	DBLP DOI BibTeX RDF
17	Marco Ragni	An Arrangement Calculus, Its Complexity and Algorithmic Properties.	KI	2003	DBLP DOI BibTeX RDF
17	Andrew P. Martin, Andrew Simpson	Generalising the Z Schema Calculus: Database Schemas and Beyond.	APSEC	2003	DBLP DOI BibTeX RDF
17	William C. Rounds, Hosung Song	The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.	HSCC	2003	DBLP DOI BibTeX RDF
17	Qin Ma 0002, Luc Maranget	Expressive Synchronization Types for Inheritance in the Join Calculus.	APLAS	2003	DBLP DOI BibTeX RDF
17	Antonio Bucciarelli, Antonino Salibra	The Minimal Graph Model of Lambda Calculus.	MFCS	2003	DBLP DOI BibTeX RDF
17	Stéphane Riedweg, Sophie Pinchinat	Quantified Mu-Calculus for Control Synthesis.	MFCS	2003	DBLP DOI BibTeX RDF
17	José Espírito Santo, Luís Pinto 0001	Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
17	Pierre Corbineau	First-Order Reasoning in the Calculus of Inductive Constructions.	TYPES	2003	DBLP DOI BibTeX RDF
17	Alberto Momigliano, Alwen Fernanto Tiu	Induction and Co-induction in Sequent Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
17	Nicolas Thériault	Index Calculus Attack for Hyperelliptic Curves of Small Genus.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
17	Davide Ancona, Sonia Fagorzi, Elena Zucca	A Calculus for Dynamic Linking.	ICTCS	2003	DBLP DOI BibTeX RDF
17	Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone	A Calculus of Bounded Capacities.	ASIAN	2003	DBLP DOI BibTeX RDF
17	Bruno Blanchet, Benjamin Aziz	A Calculus for Secure Mobility.	ASIAN	2003	DBLP DOI BibTeX RDF
17	Ernesto Staffetti, Antoni Grau, Francesc Serratosa, Alberto Sanfeliu	Shape Representation and Indexing Based on Region Connection Calculus and Oriented Matroid Theory.	DGCI	2003	DBLP DOI BibTeX RDF
17	Sylvain Salvati, Philippe de Groote	On the Complexity of Higher-Order Matching in the Linear lambda-Calculus.	RTA	2003	DBLP DOI BibTeX RDF
17	Linda Brodo, Pierpaolo Degano, Corrado Priami	Reflecting Mobile Ambients into the p-Calculus.	Global Computing	2003	DBLP DOI BibTeX RDF
17	Cédric Fournet, Martín Abadi	Hiding Names: Private Authentication in the Applied Pi Calculus.	ISSS	2002	DBLP DOI BibTeX RDF
17	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
17	Ian J. Hayes	The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.	ICATPN	2002	DBLP DOI BibTeX RDF
17	Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan 0001, Scott A. Smolka	Vacuity Checking in the Modal Mu-Calculus.	AMAST	2002	DBLP DOI BibTeX RDF
17	Richard Statman	On The Lambda Y Calculus.	LICS	2002	DBLP DOI BibTeX RDF
17	Norman Ramsey, Avi Pfeffer	Stochastic lambda calculus and monads of probability distributions.	POPL	2002	DBLP DOI BibTeX RDF