Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giacoma Valentina Monreale
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Subtyping and Typing Algorithms for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobile Ambients in Aspect-Oriented Software Architectures
Deriving Structural Labelled Transitions for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Expressiveness of Π-Calculus for Encoding Mobile Ambients
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Reactive Trajectory Deformation for Nonholonomic Systems: Application to Mobile Robots
The Sociological Semantics of Complex Systems
Journal of Sociological Research
Efficient Mobile Client Caching Supporting Transaction Semantics
Australasian Journal of Information Systems
Accounting
Management
Information Systems
Human-Computer Interaction
Business
Boxed Ambients With Communication Interfaces
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New Bisimulation Semantics for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
