scientific article; zbMATH DE number 3902013

zbMATH Open0565.68020MaRDI QIDQ3680255FDOQ3680255

Authors: Ryszard Janicki, Peter E. Lauer, Raymond Devillers 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Concurrent and maximally concurrent evolution of nonsequential systems
• Manipulation of convergence in evolutionary systems
• Complexity of evolution in maximum cooperative P systems
• Identification of evolutionary sequential systems. I: Unified approach
• Parallel evolutionary modeling for nonlinear ordinary differential equations
• Evolution of rate-independent systems
• Support for implementation of evolutionary concurrent systems

zbMATH Keywords

non-sequential systemsCOSY path expression formalismmaximally concurrent semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (9)

• Semantic independence
• A formal semantics for concurrent systems with a priority relation
• Title not available (Why is that?)
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• On priority in COSY
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent and maximally concurrent evolution of nonsequential systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680255)