Analysis of the structure of attributed transition systems without hidden transitions
type: Item
instance of: scholarly article
title: Analysis of the structure of attributed transition systems without hidden transitions
zbMATH Open document ID: 1380.93005
author: Juan-Miguel Gracia
published in: Cybernetics and Systems Analysis
publication date: 2018-02-13T00:00:00Z
Mathematics Subject Classification ID: 93A10
Mathematics Subject Classification ID: 93B25
Mathematics Subject Classification ID: 03E75
zbMATH DE Number: 6837660
zbMATH Keywords: attributed transition system without hidden transitions
zbMATH Keywords: composition of attributed transition systems
zbMATH Keywords: safeness
zbMATH Keywords: correctness
zbMATH Keywords: structure of sets of states
zbMATH Keywords: histories
zbMATH Keywords: and traces
MaRDI profile type: Publication
full work available at URL: s10559-017-9916-8
OpenAlex ID: W2598303649
cites work: Handbook of process algebra
cites work: Insertion programming
cites work: Systems specification by basic protocols
cites work: Q3907077
cites work: Well (and Better) Quasi-Ordered Transition Systems
cites work: The Power of Well-Structured Systems
cites work: Q4807439
cites work: Q3214824
DOI: 10.1007/S10559-017-9916-8
Recommended article: Attributed transition systems with hidden transitions
Recommended article: Q3397630
Recommended article: An algebraic and algorithmic method for analysing transition systems
Recommended article: Approximate analyzing of labeled transition systems
Recommended article: Q2753714
Recommended article: Abstract compositional analysis of iterated relations. A structural approach to complex state transition systems
Recommended article: Transition systems from event structures revisited
Recommended article: Transition systems, event structures, and unfoldings
Recommended article: A classification of the expressive power of well-structured transition systems
description: scientific article; zbMATH DE number 6837660