Last update: Sun Oct 15 02:16:54 MDT 2017
Top |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Kristensen:2004:ICP,
author = "Lars Michael Kristensen and S{\o}ren Christensen",
title = "Implementing Coloured {Petri} Nets Using a Functional
Programming Language",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "3",
pages = "207--243",
month = sep,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029445.29210.ca",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=207",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Coloured Petri Nets; distributed and concurrent
computation; high-level Petri Nets; implementation
techniques; Petri Nets; programming environments and
tools",
}
Related entries
- computation,
12(4)377,
12(4)381,
16(4)379,
20(3)295,
25(1)3
- distributed,
14(4)357,
20(3)295,
23(4)489
- functional,
14(1)35,
15(4)349,
16(3)203,
16(4)379,
17(1)7,
20(1)73,
20(3)237,
20(3)257,
21(1)89,
21(1)147,
21(4)361,
21(4)377,
22(1)3,
22(1)67,
23(4)433,
23(4)465,
24(1)151,
24(4)281,
24(4)311,
25(1)39,
25(1)127
- implementation,
12(1)7,
13(1)77,
14(4)357,
16(4)379,
18(3)299,
20(3)237,
20(4)431,
21(3)311
- Implementing,
18(3)355
- language,
11(1)7,
11(4)363,
12(3)221,
13(1)7,
13(1)11,
13(1)51,
13(1)77,
14(1)7,
14(2)143,
16(3)203,
16(4)379,
18(1)211,
18(3)271,
20(1)3,
20(3)237,
21(1)59,
22(1)3,
24(1)151,
25(1)127
- net,
20(3)295
- programming,
11(4)363,
13(1)7,
13(1)11,
13(1)51,
16(1)37,
16(3)203,
16(4)379,
17(1)7,
18(1)121,
19(2)197,
20(1)73,
20(3)257,
21(1)89,
21(1)147,
21(1)193,
22(1)81,
22(2)155,
23(3)337,
23(4)433,
23(4)465,
24(4)341
- technique,
14(1)7,
16(4)379
- tools,
21(3)311
- using,
12(1)47,
15(2)161,
16(1)63,
17(1)129,
19(1)101,
19(2)169,
20(1)123,
20(3)257,
23(4)433,
24(1)81