|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 63 | Mikkel Bundgaard, Vladimiro Sassone |
Typed polyadic pi-calculus in bigraphs.  |
PPDP  |
2006 |
DBLP DOI BibTeX RDF |
Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency |
| 40 | Yong Zheng 0001, David Xuejun Wang |
Hybrid Multi-Criteria Preference Ranking by Subsorting. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 40 | Yellamraju V. Srinivas |
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 40 | Axel Poigné |
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. |
ADT |
1987 |
DBLP DOI BibTeX RDF |
|
| 26 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Multiset rewriting, Specification, Security protocol, Dependent types |
| 26 | Roberto Bruni, José Meseguer 0001 |
Generalized Rewrite Theories. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 26 | Iliano Cervesato |
Typed MSR: Syntax and Examples. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license