|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 22 keywords
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
104 | Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari 0002, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri |
The Klaim Project: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Computing ![In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers, pp. 88-150, 2003, Springer, 3-540-20583-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
104 | Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese |
KLAIM: A Kernel Language for Agents Interaction and Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(5), pp. 315-330, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
mobile code languages, Programming languages, language design, coordination models, semantics of programming languages |
94 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Pattern Matching over a Dynamic Network of Tuple Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 1-14, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
85 | Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese |
Programming Access Control: The KLAIM Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 48-65, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
66 | Rocco De Nicola, Diego Latella, Mieke Massink |
Formal modeling and quantitative analysis of KLAIM-based mobile systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 428-435, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal modeling and validation, stochastic behavior, mobile systems, coordination languages |
66 | Lorenzo Bettini, Rocco De Nicola |
Mobile Distributed Programming in X-Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures, pp. 29-68, 2005, Springer, 3-540-25697-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
66 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
O'Klaim: A Coordination Language with Mobile Mixins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, pp. 20-38, 2004, Springer, 3-540-21044-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Rocco De Nicola, Michele Loreti |
A Modal Logic for KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 339-354, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Rocco De Nicola |
Languages and Process Calculi for Network Aware Programming - Short Summary -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 49-52, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(3), pp. 245-288, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
network aware programming, verification, concurrency, mobile agents, programming languages, modal logics |
51 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
Modelling Mobility in High-level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, pp. 110-119, 2007, IEEE Computer Society, 978-0-7695-2902-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra |
51 | Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky |
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 168-188, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda |
48 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, pp. 119-134, 2004, Springer, 3-540-21044-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Rocco De Nicola, Michele Loreti |
A modal logic for mobile agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(1), pp. 79-128, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mobile Code Languages, Temporal Logics of Programs, Mobility, Logics, Proof Systems, Coordination Models |
38 | Daniele Gorla, Rosario Pugliese |
Controlling data movement in global computing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1462-1467, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Rocco De Nicola, Michele Loreti |
MoMo: A Modal Logic for Reasoning About Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 95-119, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese |
MetaKlaim: Meta-programming for Global Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, pp. 183-198, 2001, Springer, 3-540-42558-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 |
Coordinating and programming multiple ROS-based robots with X-KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(5), pp. 747-764, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | |
From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.04126, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 |
Programming Multi-robot Systems with X-KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (3) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III, pp. 283-300, 2022, Springer, 978-3-031-19758-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001 |
Writing Robotics Applications with X-Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II, pp. 361-379, 2020, Springer, 978-3-030-61469-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi 0001 |
X-Klaim Is Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Languages, and Tools for Concurrent and Distributed Programming ![In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, pp. 115-135, 2019, Springer, 978-3-030-21484-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto |
Data-Driven Choreographies à la Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Languages, and Tools for Concurrent and Distributed Programming ![In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, pp. 170-190, 2019, Springer, 978-3-030-21484-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
Revealing the Trajectories of KLAIM Tuples, Statically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Languages, and Tools for Concurrent and Distributed Programming ![In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, pp. 437-454, 2019, Springer, 978-3-030-21484-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001, Martin Wirsing |
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 99, pp. 24-74, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Xi Wu 0005, Ximeng Li 0001, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
Klaim-DB: A Modeling Language for Distributed Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pp. 197-212, 2015, Springer, 978-3-319-19281-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001 |
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers, pp. 54-82, 2012, Springer, 978-3-642-34004-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Francesco Calzolai, Michele Loreti |
Simulation and Analysis of Distributed Systems in Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, pp. 122-136, 2010, Springer, 978-3-642-13413-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
On the expressive power of KLAIM-based calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 356(3), pp. 387-421, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Implementing Mobile and Distributed Applications in X-Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 7(4), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Rocco De Nicola |
From Process Calculi to Klaim and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APC 25 ![In: Proceedings of the Workshop `Essays on Algebraic Process Calculi`, APC 25, Bertinoro, Italy, August 1-5, 2005, pp. 159-162, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Continuous-Time Probabilistic KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 27-38, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
On the Expressive Power of Klaim-based Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 117-130, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Towards Object-Oriented Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOSCA ![In: Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, pp. 38-51, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
Structured Nets in KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC (1) ![In: Applied Computing 2000, Proceedings of the 2000 ACM Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 1, pp. 174-180, 2000, ACM, 1-58113-240-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese |
Mobile Applications in X-KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop `From Objects to Agents`: Evolutive Trends of Software Systems, 29-30 May 2000, Parma, Italy, pp. 1-6, 2000, Pitagora Editrice Bologna, 88-371-1195-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
29 | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari 0002 |
Interactive Mobile Agents in X-Klaim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 7th Workshop on Enabling Technologies (WETICE '98), Infrastructure for Collaborative Enterprises, June 17-19, 1998, Palo Alto, CAUSA, Proceedings, pp. 110-117, 1998, IEEE Computer Society, 0-8186-8751-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro |
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers, pp. 52-68, 2008, Springer, 978-3-642-00944-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to Static Type Systems for Coordination Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 100-116, 2008, Springer, 978-3-540-68264-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
Global Computing in a Dynamic Network of Tuple Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings, pp. 157-172, 2005, Springer, 3-540-25630-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Bettini |
A Java Package for Class and Mixin Mobility in a Distributed Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers, pp. 12-22, 2003, Springer, 3-540-21091-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Software update via mobile agent based programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 32-36, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed software update, mobile agents, mobile code |
19 | Lorenzo Bettini, Michele Loreti, Rosario Pugliese |
An infrastructure language for open nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 373-377, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
open nets, mobility, distributed applications, coordination languages |
19 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Formalizing Properties of Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, pp. 72-87, 2002, Springer, 3-540-43410-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Bettini, Rocco De Nicola |
Translating Strong Mobility into Weak Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Agents ![In: Mobile Agents, 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001, Proceedings, pp. 182-197, 2001, Springer, 3-540-42952-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Emilio Tuosto |
An Ada95 Implementation of a Network Coordination Language with Code Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 199-210, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems |
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|