Search results for "Process-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka	A Process Calculus for Mobile Ad Hoc Networks.	COORDINATION	2008	DBLP DOI BibTeX RDF
51	Alan Schmitt, Jean-Bernard Stefani	The m-calculus: a higher-order distributed process calculus.	POPL	2003	DBLP DOI BibTeX RDF	mobility, distribution, type systems, process calculi, higher order
41	Philippa Gardner	From Process Calculi to Process Frameworks.	CONCUR	2000	DBLP DOI BibTeX RDF
40	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	A General Name Binding Mechanism.	TGC	2005	DBLP DOI BibTeX RDF
37	Luca Fossati, Daniele Varacca	The Calculus of Handshake Configurations.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Petri nets, types, process calculus, Handshake protocols
37	Ichiro Satoh	A Formalism for Hierarchical Mobile Agents.	PDSE	2000	DBLP DOI BibTeX RDF	verification, mobile agents, specification, formal model, bisimulation, process calculus
35	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
32	Philippa Gardner, Lucian Wischik	Explicit Fusions.	MFCS	2000	DBLP DOI BibTeX RDF
32	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	LICS	1997	DBLP DOI BibTeX RDF
30	Kenji Taguchi 0001, Keijiro Araki	A Calculus Based on the Agent-Place Model.	ICFEM	1998	DBLP DOI BibTeX RDF
27	Zining Cao	A True Concurrent Process Calculus and Its Conflict Bisimulation.	SNPD	2009	DBLP DOI BibTeX RDF	Bisimulation, Process Calculus, True Concurrency
27	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
27	Philippe Bidinger, Jean-Bernard Stefani	The Kell Calculus: Operational Semantics and Type System.	FMOODS	2003	DBLP DOI BibTeX RDF
26	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
26	Radha Jagadeesan, Prakash Panangaden	A Domain-Theoretic Model for a Higher-Order Process Calculus.	ICALP	1990	DBLP DOI BibTeX RDF
24	Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa	An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus.	Euro-Par	1997	DBLP DOI BibTeX RDF
22	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
22	Jing Zhang, Licui Zhang, Degui Guo	Operational Semantics of the Seal Calculus.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Seal Calculus, Mobile computation, operational semantics, abstract machine
22	Silvano Dal-Zilio	Spatial Congruence for Ambients Is Decidable.	ASIAN	2000	DBLP DOI BibTeX RDF
22	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
22	Siva Anantharaman, Jing Chen, Gaétan Hains	A Synchronous Process Calculus for Service Costs.	SEFM	2005	DBLP DOI BibTeX RDF
22	John C. Mitchell	Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
22	Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa	A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation.	TACS	2001	DBLP DOI BibTeX RDF
21	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
21	Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	Fine-Grained Multithreading with Process Calculi.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	multithreading, abstract-machine, Process-calculus
21	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	Fine Grained Multithreading with Process Calculi.	IEEE PACT	2000	DBLP DOI BibTeX RDF	Multithreading, Abstract-Machine, Process-Calculus
21	Kai Bavendiek	The σ-calculus: a process calculus for privacy-preserving protocols in location-based service systems.		2022	RDF
20	Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov	Probabilistic Polynomial-Time Equivalence and Security Analysis.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Andrew Hughes	A framework for mobile Java applications.	PPPJ	2007	DBLP DOI BibTeX RDF	TNT, Java, mobility, CaSE, CCS, process calculus, ambient calculus
20	Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.	CLUSTER	2000	DBLP DOI BibTeX RDF	Concurrency, Distributed Computing, Implementation, Process-Calculus, Code Mobility
19	Yih-Jiun Lee, Peter Henderson 0001	A Practical Modelling Notation for Secure Distributed Computation.	AINA	2005	DBLP DOI BibTeX RDF
18	Ichiro Satoh, Mario Tokoro	Time and Asynchrony in Interactions among Distributed Real-Time Objects.	ECOOP	1995	DBLP DOI BibTeX RDF
18	Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel	Modeling Static Biological Compartments with Beta-binders.	AB	2007	DBLP DOI BibTeX RDF
18	Luca Cardelli, Andrew D. Gordon 0001	Anytime, Anywhere: Modal Logics for Mobile Ambients.	POPL	2000	DBLP DOI BibTeX RDF
18	N. Raja 0001, R. K. Shyamasundar	Actors as a Coordinating Model of Computation (Extended Abstract).	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
17	Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith	PiDuce: A Process Calculus with Native XML Datatypes.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
17	Rocco De Nicola, Gian-Luigi Ferrari 0002, Ugo Montanari, Rosario Pugliese, Emilio Tuosto	A Process Calculus for QoS-Aware Applications.	COORDINATION	2005	DBLP DOI BibTeX RDF
17	Roberto Zunino, Pierpaolo Degano	A Note on the Perfect Encryption Assumption in a Process Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
17	Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva	Mob: A Scripting Language for Mobile Agents Based on a Process Calculus.	ICWE	2003	DBLP DOI BibTeX RDF
17	Elie Najm, Jean-Bernard Stefani	Object-Based Concurrency: A Process Calculus Analysis.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
16	Anna Philippou, Mauricio Toro	Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.	CoRR	2018	DBLP BibTeX RDF
16	Anna Philippou, Mauricio Toro	Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
16	Magnus Johansson	Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic.		2010	RDF
15	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
15	Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder	Towards a Coalgebraic Semantics of the Ambient Calculus.	CALCO	2005	DBLP DOI BibTeX RDF
15	Xian Xu 0001	Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	encoding, bisimulation, full abstraction, process calculus, higher order
15	Hua Jiang, Xinxing Tan	Bisimulations in the Boxed Safe Ambients with Password.	ITNG	2009	DBLP DOI BibTeX RDF	mobile ambient calculus, p-calculus, model checking, computational model, process calculus
15	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
15	Xiaoju Dong, Yuxi Fu	Barbed Congruence of Asymmetry and Mismatch.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	bisimulation, axiomatization, process calculus
15	Samuel Hym	Mobility Control Via Passports.	CONCUR	2007	DBLP DOI BibTeX RDF	control of agent migrations, distributed computation, process calculus, observational equivalence
15	Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan	On Analysis of Design Component Contracts: A Case Study.	STEP	2003	DBLP DOI BibTeX RDF	Component-based software design, Model Checking, Design Pattern, Contract, Web-based systems, Process Calculus
15	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
14	Han Gao 0002, Chiara Bodei, Pierpaolo Degano	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.	AMAST	2008	DBLP DOI BibTeX RDF
14	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Typed Calculus for Querying Distributed XML Documents.	TGC	2006	DBLP DOI BibTeX RDF
14	Andrew D. Gordon 0001, Alan Jeffrey	Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
14	Iain Phillips 0001	CCS with Priority Guards.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Nobuyuki Sato, Eijiro Sumii	The Higher-Order, Call-by-Value Applied Pi-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
13	Jens Chr. Godskesen, Sebastian Nanz	Mobility Models and Behavioural Equivalence for Wireless Networks.	COORDINATION	2009	DBLP DOI BibTeX RDF
13	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
13	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo	Checking Correctness of Transactional Behaviors.	FORTE	2008	DBLP DOI BibTeX RDF	Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence
13	Jesper Bengtson, Joachim Parrow	Formalising the pi-Calculus Using Nominal Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
13	Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro	Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.	CMSB	2007	DBLP DOI BibTeX RDF
13	Benjamin C. Pierce, Davide Sangiorgi	Behavioral equivalence in the polymorphic pi-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	abstract data types, pi-calculus
13	Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt	An Asynchronous, Distributed Implementation of Mobile Ambients.	IFIP TCS	2000	DBLP DOI BibTeX RDF
13	Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori	Maintenance of Ambiences for Mobile Systems.	ICPP	1999	DBLP DOI BibTeX RDF
13	Jan Vitek, Giuseppe Castagna	Seal: A Framework for Secure Mobile Computations.	ICCL Workshop: Internet Programming Languages	1998	DBLP DOI BibTeX RDF
13	Xinxin Liu 0008, David Walker 0008	Confluence of Processes and Systems of Objects.	TAPSOFT	1995	DBLP DOI BibTeX RDF
12	Wolf-Dieter Tiedemann	Bus Protocol Conversion: from Timing Diagrams to State Machines.	EUROCAST	1991	DBLP DOI BibTeX RDF
12	Ningning Chen, Huibiao Zhu	A process calculus SMrCaIT for IoT.	J. Softw. Evol. Process.	2024	DBLP DOI BibTeX RDF
12	Gabriel Ciobanu, Eneia Nicolae Todoran	A process calculus for spiking neural P systems.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
12	Stefan Kuhn 0001, Irek Ulidowski	Modelling of DNA mismatch repair with a reversible process calculus.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
12	Kai Bavendiek, Sibylle Schupp	A process calculus for privacy-preserving protocols in location-based service systems.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
12	Lianqi Wang, Shuangyin Ren, Qiongyu Wu, Chunjiang Wang	A Research of Mosaic Force Elements Orchestration Based on Process Calculus.	ICISS	2022	DBLP DOI BibTeX RDF
12	Ruggero Lanotte, Massimo Merro, Andrei Munteanu	A process calculus approach to detection and mitigation of PLC malware.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Wanling Xie, Huibiao Zhu, Qiwen Xu	A process calculus BigrTiMo of mobile systems and its formal semantics.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
12	Ruggero Lanotte, Massimo Merro, Andrei Munteanu	A process calculus approach to correctness enforcement of PLCs (full version).	CoRR	2020	DBLP BibTeX RDF
12	Ruggero Lanotte, Massimo Merro, Andrei Munteanu	A Process Calculus Approach to Correctness Enforcement of PLCs.	ICTCS	2020	DBLP BibTeX RDF
12	Wolfgang Jeltsch	A Process Calculus for Formally Verifying Blockchain Consensus Protocols.	CoRR	2019	DBLP BibTeX RDF
12	Wolfgang Jeltsch	A Process Calculus for Formally Verifying Blockchain Consensus Protocols.	DECLARE	2019	DBLP DOI BibTeX RDF
12	Christopher Blöcker, Ulrich Hoffmann	Pardis: a process calculus for parallel and distributed programming in Haskell.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
12	Robert E. Kent	Dialectical logic: the Process Calculus.	CoRR	2018	DBLP BibTeX RDF
12	Jingquan Ding, Xiao Li, Yunchuan Guo, Lihua Yin, Huibing Zhang	Process Calculus for Modeling and Quantifying Location Privacy.	IIKI	2018	DBLP DOI BibTeX RDF
12	Gabriel Broholm, Maliina B. S. Hammeken, Marcus Skov Hansen, Alexander Juhl, Marc Storm Larsen, Jørgen Fischer Nilsson, Thomas M. Pethick, Magnus Gether Sørensen	A Process Calculus for Design and Modeling of Retro-Synthesis.	EJC	2018	DBLP DOI BibTeX RDF
12	Christopher Blöcker, Ulrich Hoffmann	Pardis: A Process Calculus for Parallel and Distributed Programming in Haskell.	PPAM (2)	2017	DBLP DOI BibTeX RDF
12	Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.	Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models.	DCM	2015	DBLP DOI BibTeX RDF
12	Andrew Schumann, Ludmila Akimova	Process Calculus and Illocutionary Logic for Analyzing the Behavior of Schistosomatidae (Trematoda: Digenea).	Computational Intelligence, Medicine and Biology - Selected Links	2015	DBLP DOI BibTeX RDF
12	Ittoop Vergheese Puthoor	Theory and applications of quantum process calculus.		2015	RDF
12	Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor	Verification of Linear Optical Quantum Computing using Quantum Process Calculus.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
12	Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi	A Flat Process Calculus for Nested Membrane Interactions.	Sci. Ann. Comput. Sci.	2014	DBLP DOI BibTeX RDF
12	Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis	Synchronous Parallel Composition in a Process Calculus for Ecological Models.	ICTAC	2014	DBLP DOI BibTeX RDF
12	Lucia Gallina, Sabina Rossi	A process calculus for energy-aware multicast communications of mobile ad hoc networks.	Wirel. Commun. Mob. Comput.	2013	DBLP DOI BibTeX RDF
12	Jan A. Bergstra, Cornelis A. Middelburg	A Process Calculus with Finitary Comprehended Terms.	Theory Comput. Syst.	2013	DBLP DOI BibTeX RDF
12	Anna Philippou, Mauricio Toro, Margarita Antonaki	Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.	Sci. Ann. Comput. Sci.	2013	DBLP DOI BibTeX RDF
12	Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor	Quantum Process Calculus for Linear Optical Quantum Computing.	RC	2013	DBLP DOI BibTeX RDF
12	Ivan Lanese, Luca Bedogni, Marco Di Felice	Internet of things: a process calculus approach.	SAC	2013	DBLP DOI BibTeX RDF
12	Wusheng Wang, Weiping Li, Zhonghai Wu	A Process Calculus for Context-Aware Systems.	IEEE SCC	2013	DBLP DOI BibTeX RDF
12	Matteo Sammartino	A Network-Aware Process Calculus for Global Computing and its Categorical Framework.		2013	RDF
12	Yan Zhang 0012, Zhaohui Zhu, Jinjin Zhang, Yong Zhou	A Process Calculus with Logical Operators	CoRR	2012	DBLP BibTeX RDF
12	Margarita Antonaki, Anna Philippou	A Process Calculus for Spatially-explicit Ecological Models	MeCBIC	2012	DBLP DOI BibTeX RDF
12	Simon J. Gay, Ittoop Vergheese Puthoor	Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols	QPL	2012	DBLP DOI BibTeX RDF