|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | John Howse, Fernando Molina, John Taylor 0001, Sun-Joo Shin |
Type-syntax and token-syntax in diagrammatic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 174-185, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concrete and abstract syntax, formal methods, software specification, diagrammatic reasoning, visual formalisms |
56 | John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001 |
On Diagram Tokens and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 146-160, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Urszula Wybraniec-Skardowska |
Meaning and Interpretation. I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(1), pp. 105-132, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Token-type distinction, token-syntax, type-syntax, denotation, synonymy unambiguity, ambiguity, meaning, referring |
16 | Bruce Anderson |
Type syntax in the language "C": an object lesson in syntactic innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 15(3), pp. 21-27, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
13 | Kohei Honda 0001, Nobuko Yoshida, Marco Carbone |
Multiparty asynchronous session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 273-284, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multiparty, communications, causality, choreography, structured programming, session types, mobile processes |
12 | Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury |
A Typed Model for Encoding-Based Protocol Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 12th IEEE International Conference on Network Protocols (ICNP 2004), 5-8 October 2004, Berlin, Germany, pp. 72-83, 2004, IEEE Computer Society, 0-7695-2161-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|