KLAIM
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- M-nets: a survey
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- Dynamic management of capabilities in a network aware coordination language
- Klava
- PiDuce
- MetaKlaim
- JoCaml
- LEAP
- MANIFOLD
- Maria
- MWB
- Punf
- SLMC
- CliffMath
- CliffSymNil
- CliffOC
- A framework for specifying and verifying the behaviour of open systems
- Moise+
- Reo
- Static analysis for the \(\pi\)-calculus with applications to security
- Resource access control in systems of mobile agents
- Assigning types to processes
- A performance-based methodology to early evaluate the effectiveness of mobile software architectures
- 2APL
- COWS
- MarCaSPiS
- ComFoRT
- From distributed coordination to field calculus and aggregate computing
- Pirlo
- MultiVeStA
- Reoservice
- PAGODA
- Facile
- ULM
- A calculus for attribute-based memory updates
- Viptos
- LIME
- Sumatra
- Linda
- XPi
- MOMI
- Succinct
- SCELlight
- dSPIN
- Expressiveness of concurrent intensionality
- MoMo
- tKlaim
- TLPVS
- GroupKit
- XMLTK
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- EnvyMyCar
- A formal approach to the engineering of domain-specific distributed systems
- Basic observables for a calculus for global computing
- Linear forwarders
- SDEF
- Jolie
- A process algebraic view of shared dataspace coordination
- On the expressive power of \textsc{Klaim}-based calculi
- MOMI: a calculus for mobile mixins
- Quantitative information in the tuple space coordination model
- Reversibility in the higher-order \(\pi\)-calculus
- ITACA
- Typed behavioural equivalences for processes in the presence of subtyping
- PEP
- Towards a formal foundation to orchestration languages
- On the expressive power of \textsc{Klaim}-based calculi
- Structuring operational semantics: simplification and computation
- Comparing three coordination models: Reo, ARC, and RRD
- NoDoSE
- Model checking spatial logics for closure spaces
- A coordination language for databases
- Aglets
- Voyager
- Network Conscious π-calculus: A Concurrent Semantics
- Encoding Asynchronous Interactions Using Open Petri Nets
- SCEL
- Scribble
- Transactors
- Secure guarded commands
- SPY
- Flapjax
- GcPan
- JavAdaptor
- ContextJ
- KQML
- A model checking-based approach for security policy verification of mobile systems
- DEECO
- Helena
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- A higher-order calculus of computational fields
- scientific article; zbMATH DE number 2087391 (Why is no real title available?)
- MetaKlaim: a type safe multi-stage language for global computing
- Reversible session-based pi-calculus
- A language-based approach to modelling and analysis of Twitter interactions
- Causal-consistent rollback in a tuple-based language
- Monitoring networks through multiparty session types
- Programming and verifying component ensembles
- Coordinating asynchronous and open distributed systems under semiring-based timing constraints
This page was built for software: KLAIM
