|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 170 occurrences of 103 keywords
|
|
|
Results
Found 280 publication records. Showing 280 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 280 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|