Search results for "KLAIM"

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.	Global Computing	2003	DBLP DOI BibTeX RDF
104	Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese	KLAIM: A Kernel Language for Agents Interaction and Mobility.	IEEE Trans. Software Eng.	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.	FMOODS	2005	DBLP DOI BibTeX RDF
85	Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese	Programming Access Control: The KLAIM Experience.	CONCUR	2000	DBLP DOI BibTeX RDF
66	Rocco De Nicola, Diego Latella, Mieke Massink	Formal modeling and quantitative analysis of KLAIM-based mobile systems.	SAC	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.	SFM	2005	DBLP DOI BibTeX RDF
66	Lorenzo Bettini, Viviana Bono, Betti Venneri	O'Klaim: A Coordination Language with Mobile Mixins.	COORDINATION	2004	DBLP DOI BibTeX RDF
66	Rocco De Nicola, Michele Loreti	A Modal Logic for KLAIM.	AMAST	2000	DBLP DOI BibTeX RDF
56	Rocco De Nicola	Languages and Process Calculi for Network Aware Programming - Short Summary -.	ICTAC	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.	Autom. Softw. Eng.	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.	ACSD	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.	RODIN Book	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.	COORDINATION	2004	DBLP DOI BibTeX RDF
38	Rocco De Nicola, Michele Loreti	A modal logic for mobile agents.	ACM Trans. Comput. Log.	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.	SAC	2004	DBLP DOI BibTeX RDF
38	Rocco De Nicola, Michele Loreti	MoMo: A Modal Logic for Reasoning About Mobility.	FMCO	2004	DBLP DOI BibTeX RDF
38	Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese	MetaKlaim: Meta-programming for Global Computing.	SAIG	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.	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
29		From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming.	CoRR	2023	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001	Programming Multi-robot Systems with X-KLAIM.	ISoLA (3)	2022	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001	Writing Robotics Applications with X-Klaim.	ISoLA (2)	2020	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi 0001	X-Klaim Is Back.	Models, Languages, and Tools for Concurrent and Distributed Programming	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.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
29	Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Revealing the Trajectories of KLAIM Tuples, Statically.	Models, Languages, and Tools for Concurrent and Distributed Programming	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.	Sci. Comput. Program.	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.	COORDINATION	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.	WRLA	2012	DBLP DOI BibTeX RDF
29	Francesco Calzolai, Michele Loreti	Simulation and Analysis of Distributed Systems in Klaim.	COORDINATION	2010	DBLP DOI BibTeX RDF
29	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	On the expressive power of KLAIM-based calculi.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Rocco De Nicola, Michele Loreti	Implementing Mobile and Distributed Applications in X-Klaim.	Scalable Comput. Pract. Exp.	2006	DBLP BibTeX RDF
29	Rocco De Nicola	From Process Calculi to Klaim and Back.	APC 25	2005	DBLP DOI BibTeX RDF
29	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Continuous-Time Probabilistic KLAIM.	SecCo	2004	DBLP DOI BibTeX RDF
29	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	On the Expressive Power of Klaim-based Calculi.	EXPRESS	2004	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Viviana Bono, Betti Venneri	Towards Object-Oriented Klaim.	TOSCA	2001	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Michele Loreti, Rosario Pugliese	Structured Nets in KLAIM.	SAC (1)	2000	DBLP DOI BibTeX RDF
29	Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese	Mobile Applications in X-KLAIM.	WOA	2000	DBLP BibTeX RDF
29	Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari 0002	Interactive Mobile Agents in X-Klaim.	WETICE	1998	DBLP DOI BibTeX RDF
19	Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro	Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.	TGC	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.	COORDINATION	2008	DBLP DOI BibTeX RDF
19	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	Global Computing in a Dynamic Network of Tuple Spaces.	COORDINATION	2005	DBLP DOI BibTeX RDF
19	Lorenzo Bettini	A Java Package for Class and Mixin Mobility in a Distributed Setting.	FIDJI	2003	DBLP DOI BibTeX RDF
19	Lorenzo Bettini, Rocco De Nicola, Michele Loreti	Software update via mobile agent based programming.	SAC	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.	SAC	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.	COORDINATION	2002	DBLP DOI BibTeX RDF
19	Lorenzo Bettini, Rocco De Nicola	Translating Strong Mobility into Weak Mobility.	Mobile Agents	2001	DBLP DOI BibTeX RDF
19	Emilio Tuosto	An Ada95 Implementation of a Network Coordination Language with Code Mobility.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems