Behavioural abstraction in TCCS

DOI10.1007/3-540-55719-9_104MaRDI QIDQ5204347zbMATH OpenOpenAlexWikidataFDO

Authors Faron Moller, Chris Tofts

Publication date 4 December 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55719-9_104

zbMATH Keywords

choice operatorcomputation pathcongruence relationequational theorysilent action

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4011914
• Algebra of communicating processes with abstraction
• scientific article; zbMATH DE number 4018374
• scientific article; zbMATH DE number 1735620
• Priority and abstraction in process algebra

Cites work

• A process algebra for timed systems
• Behavioural abstraction in TCCS
• Calculi for synchrony and asynchrony
• scientific article; zbMATH DE number 3956423 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Real time process algebra

Cited in

(9)

• Congruent weak bisimulation with dense real-time
• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
• On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
• A calculus of countable broadcasting systems
• Behavioural abstraction in TCCS
• Bisimulation on speed: Worst-case efficiency
• Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
• Expected-delay-summing weak bisimilarity for Markov automata
• Behavioral abstraction is hiding information

This page was built for publication: Behavioural abstraction in TCCS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204347)