LOTOS
From MaRDI portal
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 2090704 (Why is no real title available?)
- Bundle event structures: a revised cpo approach.
- scientific article; zbMATH DE number 915855 (Why is no real title available?)
- Deriving graphical representations of process networks from algebraic expressions
- Embedding time granularity in a logical specification language for synchronous real-time systems
- Real-time specification and modeling with joint actions
- The expressive power of implicit specifications
- A theory of stochastic systems. II: Process algebra
- Modelling Divergence in Relational Concurrent Refinement
- Automatic verification of distributed systems: the process algebra approach.
- Essential transitions to bisimulation equivalences
- The how and why of interactive Markov chains
- scientific article; zbMATH DE number 6115908 (Why is no real title available?)
- Analyzing the execution architecture of mobile phone software with colored Petri nets.
- TTL: A modular language for hardware/software systems design.
- Automatic verification of concurrent systems using a formula-based compositional approach
- LOTOS extended with probabilistic behaviours
- Nested-unit Petri nets
- Formal modeling and analysis of business process timed constraints
- Process synchronisation as fusion
- Distributed implementation of a process-algebra based programming language for embedded systems
- On the expressiveness of choice quantification
- Automatizing parametric reasoning on distributed concurrent systems
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- A formal framework for viewpoint consistency
- Interactive Markov chains. And the quest for quantified quality
- Static slicing of explicitly synchronized languages
- Analysing neurobiological models using communicating automata
- Metric semantics for true concurrent real time
- scientific article; zbMATH DE number 47209 (Why is no real title available?)
- Ready simulation for concurrency: it's logical!
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS
- Models and tools for managing development processes.
- Feature interactions in embedded control systems
- Towards action refinement for true concurrent real time
- A high-level language for modeling algorithms and their properties
- A fully abstract model for the \(\pi\)-calculus.
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
- Handling feature interactions in the language for end system services
- scientific article; zbMATH DE number 1696907 (Why is no real title available?)
- Model-checking CSP-Z: Strategy, tool support and industrial application
- scientific article; zbMATH DE number 2006495 (Why is no real title available?)
- scientific article; zbMATH DE number 2013595 (Why is no real title available?)
- scientific article; zbMATH DE number 140239 (Why is no real title available?)
- Architectural CCS
- Generating diagnostic information for behavioral preorders
- scientific article; zbMATH DE number 1418453 (Why is no real title available?)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes
- scientific article; zbMATH DE number 1696903 (Why is no real title available?)
- Performance of pipelined asynchronous systems
- A modal logic for message passing processes
- Building distributed controllers for systems with priorities
- Strategies for consistency checking based on unification
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- scientific article; zbMATH DE number 839543 (Why is no real title available?)
- On fairness notions in distributed systems. I: A characterization of implementability
- Analysis of a multimedia stream using stochastic process algebra
- Generating test sets from non-deterministic stream X-machines
- A theory of processes with durational actions
- Lectures on Concurrency and Petri Nets
- On the validity of encodings of the synchronous in the asynchronous -calculus
- Process algebra having inherent choice: revised semantics for concurrent systems
- scientific article; zbMATH DE number 1693441 (Why is no real title available?)
- scientific article; zbMATH DE number 2102705 (Why is no real title available?)
- Compositionality in state space verification methods
- Introducing extra operations in refinement
- Relational concurrent refinement. III: Traces, partial relations and automata
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- A local approach for temporal model checking of Java bytecode
- Executable structural operational semantics in Maude
- Bisimilarity of open terms.
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
- Revisiting sequential composition in process calculi
- A comprehensive study of the complexity of multiparty interaction
- GreatSPN
- SCADE
- TTL
- Wendy
- mCRL2
- GreatSPN 1.7
- MoDeST
- TIMES
- StEAM
- BISIMULATOR
- M-TREE
- E-LOTOS
- HOL/SPIN
- PEPS
- libDDD
- Renew
- JACK
- CADP
- BPEL2oWFN
- Fiacre
- Atelier B
- STG
- csp2B
- Exp.Open
- PROMELA
This page was built for software: LOTOS
