Hybrid process algebra (Q1763160): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(6 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: Pieter J. L. Cuijpers / rank
Normal rank
 
Property / author
 
Property / author: Michel Reniers / rank
Normal rank
 
Property / author
 
Property / author: Pieter J. L. Cuijpers / rank
 
Normal rank
Property / author
 
Property / author: Michel Reniers / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q114851569 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jlap.2004.02.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2044667269 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An introduction to hybrid dynamical systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760254 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal specification and analysis of production systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Redesign of a systems engineering language: formalisation of \(\chi\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Modeling and Analysis of Timed Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra for hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4418858 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4503930 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid I/O automata. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential Petri nets: representing continuous systems in a discrete-event world / rank
 
Normal rank
Property / cites work
 
Property / cites work: Special issue: Hybrid Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid action systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis of three hybrid systems in timed \(\mu CRL\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositionality issues in discrete, continuous, and hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Control of systems integrating logic, dynamics, and constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence of hybrid dynamical models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complementarity modeling of hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonlinear regulation: The piecewise linear approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation Relations for Dynamical and Control Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: O-minimal hybrid systems. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4211176 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4400449 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4857386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global renaming operators in concrete process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra with timing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic proof technique for parallel programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra with propositional signals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2847419 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2701735 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760238 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:19, 7 June 2024

scientific article
Language Label Description Also known as
English
Hybrid process algebra
scientific article

    Statements

    Hybrid process algebra (English)
    0 references
    22 February 2005
    0 references
    Hybrid systems
    0 references
    Process algebra
    0 references
    Flows
    0 references
    Discrete events
    0 references
    Hybrid interaction
    0 references
    Discontinuities
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers