Automata and processes on multisets of communicating objects

DOI10.1007/S11047-010-9206-0MaRDI QIDQ609033zbMATH OpenOpenAlexFDO

Authors Linmin Yang, Yong Wang, Zhe Dang

Publication date 30 November 2010

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-010-9206-0

zbMATH Keywords

network processesP systemPresburger reachabilityservice automata

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 5184423
• Geometric viewpoint of Milnor's fibration theorem
• Perverse results on Milnor fibers inside parameterized hypersurfaces
• Milnor fibers and links of local complete intersections
• On the topology of the Milnor fibration

Cites work

• Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing
• Computing with membranes
• Generalized communicating P systems
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1953872 (Why is no real title available?)
• scientific article; zbMATH DE number 2038746 (Why is no real title available?)
• scientific article; zbMATH DE number 1543314 (Why is no real title available?)
• scientific article; zbMATH DE number 1759481 (Why is no real title available?)
• Mobile ambients
• ON ONE-MEMBRANE P SYSTEMS OPERATING IN SEQUENTIAL MODE
• ON VARIOUS NOTIONS OF PARALLELISM IN P SYSTEMS
• Operating Guidelines for Finite-State Services
• Semigroups, Presburger formulas, and languages
• Statecharts: a visual formalism for complex systems

Cited in

(5)

• The Sebastiani-Thom isomorphism in the derived category
• Milnor fibers and links of local complete intersections
• Automata on Multisets of Communicating Objects
• Perverse results on Milnor fibers inside parameterized hypersurfaces
• Rambling around the Milnor fiber

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: Automata and processes on multisets of communicating objects

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