swMATH9424MaRDI QIDQ21407FDOQ21407
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=685256
Cited In (only showing first 100 items - show all)
- Specification and refinement of mobile systems in MTLA and mobile UML
- Network-conscious \(\pi\)-calculus -- a model of Pastry
- Reversibility in the higher-order \(\pi\)-calculus
- QML
- Formal Methods for Components and Objects
- On the expressive power of \textsc{Klaim}-based calculi
- A model checking-based approach for security policy verification of mobile systems
- From flow logic to static type systems for coordination languages
- Coordination Models and Languages
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- MetaKlaim: a type safe multi-stage language for global computing
- Structuring operational semantics: simplification and computation
- Encoding Asynchronous Interactions Using Open Petri Nets
- Basic observables for a calculus for global computing
- Linear forwarders
- Reversible session-based pi-calculus
- Monitoring networks through multiparty session types
- MWB
- Punf
- SLMC
- CliffMath
- CliffSymNil
- CliffOC
- Moise+
- Reo
- 2APL
- COWS
- MarCaSPiS
- ComFoRT
- MultiVeStA
- Pirlo
- Facile
- PAGODA
- Reoservice
- LIME
- Linda
- MOMI
- ULM
- dSPIN
- Sumatra
- Viptos
- XPi
- SCELlight
- MoMo
- Succinct
- tKlaim
- TLPVS
- GroupKit
- EnvyMyCar
- XMLTK
- SDEF
- Jolie
- ITACA
- PEP
- NoDoSE
- Spatial-behavioral types for concurrency and resource control in distributed systems
- Towards a formal foundation to orchestration languages
- Aglets
- Voyager
- SCEL
- Scribble
- Transactors
- Flapjax
- Helena
- GcPan
- SPY
- JavAdaptor
- ContextJ
- KQML
- DEECO
- Dynamic management of capabilities in a network aware coordination language
- Network Conscious π-calculus: A Concurrent Semantics
- CauDEr
- ReSpecT
- Space-aware ambients and processes
- Quantitative information in the tuple space coordination model
- Global computing in a dynamic network of tuple spaces
- An efficient abstract machine for safe ambients
- Comparing three coordination models: Reo, ARC, and PBRD
- Quantitative static analysis of distributed systems
- Typed behavioural equivalences for processes in the presence of subtyping
- Semantic subtyping for the pi-calculus
- Static analysis for the \(\pi\)-calculus with applications to security
- Comparing three coordination models: Reo, ARC, and RRD
- A language-based approach to modelling and analysis of Twitter interactions
- Causal-consistent rollback in a tuple-based language
- Resource access control in systems of mobile agents
- A performance-based methodology to early evaluate the effectiveness of mobile software architectures
- MOMI: a calculus for mobile mixins
- Secure guarded commands
- Title not available (Why is that?)
- A process algebraic view of shared dataspace coordination
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- A calculus for attribute-based memory updates
- A higher-order calculus of computational fields
- From distributed coordination to field calculus and aggregate computing
- Event based choreography
- Model checking mobile stochastic logic
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
This page was built for software: KLAIM
