Subtyping and Typing Algorithms for Mobile Ambients

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46432-8_25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Deriving Structural Labelled Transitions for Mobile Ambients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Mobile Ambients in Aspect-Oriented Software Architectures

English

Reactive Systems, Barbed Semantics, and the Mobile Ambients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On the Expressiveness of Π-Calculus for Encoding Mobile Ambients

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2016English

Typing and Subtyping Influenza Virus Using DNA Microarrays and Multiplex Reverse Transcriptase PCR

Journal of Clinical Microbiology
Microbiology
2001English

Path Design and Control Algorithms for Articulated Mobile Robots

1998English

Riems Influenza a Typing Array (RITA): An RT-qPCR-based Low Density Array for Subtyping Avian and Mammalian Influenza a Viruses

Scientific Reports
Multidisciplinary
2016English

Discrete-Time Rendezvous Algorithms for Mobile Autonomous Agents

International Journal of Digital Content Technology and its Applications
2012English

New Distributed Power Control Algorithms for Mobile Communications

Journal of Communication and Information Systems
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy