Concurrent weighted logic

Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bin

doi:10.1016/j.jlamp.2015.07.002

Search citation statements

Order By: Relevance

Paper Sections

Select...

Logical Specification Languages1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

Publication Types

Select...

Other2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Weighted modal logic [92] was introduced to reason about the consumption of resources in weighted transition systems. This formalism was later extended to handle recursion [96,97] and concurrency [94]. A weighted extension of the expressive µ-calculus has also been developed [93].…”

Section: Logical Specification Languagesmentioning

confidence: 99%

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Pedersen¹

View full text Add to dashboard Cite

General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.-Users may download and print one copy of any publication from the public portal for the purpose of private study or research. -You may not further distribute the material or use it for any profit-making activity or commercial gain -You may freely distribute the URL identifying the publication in the public portal -

show abstract

Section: Logical Specification Languagesmentioning

confidence: 99%