A timed model for communicating sequential processes

From MaRDI portal
Revision as of 02:11, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1109561

DOI10.1016/0304-3975(88)90030-8zbMath0655.68031OpenAlexW2126860147MaRDI QIDQ1109561

G. M. Reed, A. W. Roscoe

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90030-8




Related Items (43)

Sound reasoning in \textit{tock}-CSPReal space process algebraTesting using CSP Models: Time, Inputs, and OutputsProcess languages with discrete relative time based on the ordered SOS format and rooted eager bisimulationA hierarchy of domains for real-time distributed computingFactorizing proofs in timed CSPAxiomatising real-timed processesTimed process calculi with deterministic or stochastic delays: commuting between durational and durationless actionsSpecification, testing and implementation relations for symbolic-probabilistic systemsProcess Algebra and Model CheckingDiscrete time process algebra with abstractionTimed testing of concurrent systemsReal time process algebraDuplication of constants in process algebraDiscrete time process algebraA tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and timeTranslating between models of concurrencySpecifying termination in CSPChecking noninterference in timed CSPReactive bisimulation semantics for a process algebra with timeoutsSAT-based verification for timed component connectorsSafety-critical Java programs from \textsf{Circus} modelsUnnamed ItemCPO semantics of timed interactive actor networksA process algebraic framework for specification and validation of real-time systemsMetric semantics for true concurrent real timeAn introduction to metric semantics: Operational and denotational models for programming and specification languagesA translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri netsUnnamed ItemA brief history of process algebraA process calculus BigrTiMo of mobile systems and its formal semanticsParallel Processes with Real-Time and Data: The ATLANTIF Intermediate FormatTesting from a stochastic timed system with a fault modelAction transducers and timed automataThe timed failures -- Stability model for CSPOn performance congruences for process algebrasSimulink Timed Models for Program VerificationDenotational models for programming languages: Applications of Banach's fixed point theoremAbsolute versus relative time in process algebras.Bisimulation indexes and their applicationsThe cones and foci proof technique for timed transition systemsDiscussion on: ``Formal specification method for systems automationLaws of mission-based programming




Cites Work




This page was built for publication: A timed model for communicating sequential processes