Skip to main content
Feedback to SSRN
Feedback
(required)
Email
(required)
Submit
Rabéa Ameur-Boulifa
affiliation not provided to SSRN
Contact
affiliation not provided to SSRN
Email
Learn more about SSRN Profiles
SCHOLARLY PAPERS
1
DOWNLOADS
31
TOTAL CITATIONS
0
Feedback
Scholarly Papers (1)
Sort by:
Paper Title, A-Z
Paper Title, Z-A
Author Name, A-Z
Author Name, Z-A
Date Posted, Ascending
Date Posted, Descending
Downloads, Ascending
Downloads, Descending
Citations, Ascending
Citations, Descending
Actions:
Email selected abstracts
View:
Selected
Original List
All Versions
Hide All Versions
All Abstracts
Hide All Abstracts
(Rank)
1.
Compositional Equivalences Based on Open Pnets
Number of pages: 91
Posted: 20 Apr 2022
Ludovic Henrio
, Rabéa Ameur-Boulifa and
Eric Madelaine
affiliation not provided to SSRN
,
affiliation not provided to SSRN
and
affiliation not provided to SSRN
Downloads
31
(1,304,549)
View PDF
Download
Abstract:
Bisimulation, compositionality, automata, Semantics
Feedback
