Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Remark on some variants

From MaRDI portal
Publication:5045385
Jump to:navigation, search

DOI10.1007/978-3-319-69483-2_11zbMATH Open1498.68195OpenAlexW2766418622MaRDI QIDQ5045385FDOQ5045385


Authors: Jianxin Xue, Huan Long, Yuxi Fu Edit this on Wikidata


Publication date: 4 November 2022

Published in: Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69483-2_11




Recommendations

  • A theory of bisimulation for the \(\pi\)-calculus
  • Some congruence properties for \(\pi\)-calculus bisimilarities
  • Matching in the pi-calculus
  • On bisimulations for the asynchronous π-calculus
  • Symmetric \(\pi\)-calculus


Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)



Cited In (1)

  • Matching in the pi-calculus





This page was built for publication: Remark on some \(\pi\) variants

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5045385&oldid=19525811"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 11:22. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki