UTP Semantics for rTiMo (Q2971181)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	UTP Semantics for rTiMo	scientific article

Statements

scholarly article

0 references

UTP Semantics for rTiMo (English)

0 references

0 references

Shuangqing Xiang

0 references

Unifying Theories of Programming

0 references

publication date

4 April 2017

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-52228-9_9

0 references

Formal Techniques for Networked and Distributed Systems - FORTE 2005

0 references

Modelling Mobile IP with Mobile Petri Nets

0 references

A model checking-based approach for security policy verification of mobile systems

0 references

Timed mobility in process algebra and Petri nets

0 references

Strategy based semantics for mobility with time and access permissions

0 references

Laws of programming

0 references

Normal form approach to compiler design

0 references

An algebraic approach to the design of compilers for object-oriented languages

0 references

Denotational semantics and its algebraic derivation for an event-driven system-level language

0 references

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

0 references

Verification of sequential and concurrent programs

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-52228-9_9

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2971181

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2971181&oldid=36313977"