scientific article; zbMATH DE number 2111981

zbMath1083.68067MaRDI QIDQ4823419

Sergiu Rudeanu, Dragoş Vaida

Publication date: 28 October 2004

Full work available at URL: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=61&issue=1&spage=61

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebrafuzzy modellingsemiringoptimal path problemcomplete existential theorypartial additive semantics

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Semirings (16Y60) Ordered rings, algebras, modules (06F25)

Related Items (4)

QoS negotiation in service composition ⋮ Invertible matrices and semilinear spaces over commutative semirings ⋮ An extension of a Y. C. Yang theorem ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus

This page was built for publication: